File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 681, character 26-38:
Warning Quantified term variable `?alloc : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 6199-6209:
Warning Quantified term variable `?t_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 6210-6221:
Warning Quantified term variable `?i_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 6222-6241:
Warning Quantified term variable `?ALLOCATED_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 5927-5940:
Warning Quantified term variable `?res_13 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 16372-16382:
Warning Quantified term variable `?t_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 16383-16393:
Warning Quantified term variable `?i_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 16394-16412:
Warning Quantified term variable `?ALLOCATED_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 16003-16016:
Warning Quantified term variable `?res_12 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 15867-15880:
Warning Quantified term variable `?res_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 15881-15894:
Warning Quantified term variable `?res_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 11250-11268:
Warning Quantified term variable `?ALLOCATED_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 11169-11179:
Warning Quantified term variable `?i_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 11180-11192:
Warning Quantified term variable `?res_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 11203-11215:
Warning Quantified term variable `?res_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 2527-2545:
Warning Quantified term variable `?ALLOCATED_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 2448-2458:
Warning Quantified term variable `?i_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 2459-2471:
Warning Quantified term variable `?res_6 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 2482-2494:
Warning Quantified term variable `?res_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 1817-1829:
Warning Quantified term variable `?res_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 1840-1852:
Warning Quantified term variable `?res_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 1737-1749:
Warning Quantified term variable `?res_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 1583-1595:
Warning Quantified term variable `?res_2 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 1596-1608:
Warning Quantified term variable `?res_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 1537-1547:
Warning Quantified term variable `?res : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 639-667:
Warning Quantified term variable `?IntSeqRep.RefArray_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 668-698:
Warning Quantified term variable `?RESIDUE.IntSeq.Valid_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 699-728:
Warning Quantified term variable `?IntSeqRep.Public.st_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 729-760:
Warning Quantified term variable `?IntSeqRep.Public.elem_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 761-790:
Warning Quantified term variable `?IntSeqRep.Public.sz_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 791-820:
Warning Quantified term variable `?RESIDUE.IntSeq.Data_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 821-830:
Warning Quantified term variable `?t_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 831-842:
Warning Quantified term variable `?s_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 843-860:
Warning Quantified term variable `?ALLOCATED_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 861-871:
Warning Quantified term variable `?LL_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2", line 733, character 872-886:
Warning Quantified term variable `?VIRGIN_ : int` is unused