File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 681, character 26-38:
Warning Quantified term variable `?alloc : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1288-1311:
Warning Quantified term variable `?EXCEPTION.code_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1312-1322:
Warning Quantified term variable `?s_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1323-1341:
Warning Quantified term variable `?ALLOCATED_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1342-1363:
Warning Quantified term variable `|?ALLOCATED'_1| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1364-1392:
Warning Quantified term variable `?IntSeqRep.Public.st_6 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1393-1424:
Warning Quantified term variable `|?IntSeqRep.Public.st'_1| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1425-1452:
Warning Quantified term variable `?IntSeqRep.RefArray_6 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1453-1483:
Warning Quantified term variable `|?IntSeqRep.RefArray'_1| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1484-1514:
Warning Quantified term variable `?IntSeqRep.Public.elem_6 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1515-1548:
Warning Quantified term variable `|?IntSeqRep.Public.elem'_1| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 2979-2989:
Warning Quantified term variable `?s_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 2945-2963:
Warning Quantified term variable `?ALLOCATED_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 2901-2929:
Warning Quantified term variable `?IntSeqRep.Public.st_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 2858-2885:
Warning Quantified term variable `?IntSeqRep.RefArray_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 2812-2842:
Warning Quantified term variable `?IntSeqRep.Public.elem_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 9066-9079:
Warning Quantified term variable `?res_19 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 9090-9103:
Warning Quantified term variable `?res_20 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 9114-9127:
Warning Quantified term variable `?res_21 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 9138-9151:
Warning Quantified term variable `?res_22 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 10014-10027:
Warning Quantified term variable `?res_18 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 9985-9998:
Warning Quantified term variable `?res_17 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 9932-9945:
Warning Quantified term variable `?res_15 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 9879-9892:
Warning Quantified term variable `?res_13 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 8753-8765:
Warning Quantified term variable `?res_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 8776-8788:
Warning Quantified term variable `?res_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 8799-8811:
Warning Quantified term variable `?res_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 8822-8835:
Warning Quantified term variable `?res_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 8668-8680:
Warning Quantified term variable `?res_6 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 8681-8693:
Warning Quantified term variable `?res_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1026-1038:
Warning Quantified term variable `?res_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 1049-1061:
Warning Quantified term variable `?res_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 947-957:
Warning Quantified term variable `?res : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 968-980:
Warning Quantified term variable `?res_2 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 981-993:
Warning Quantified term variable `?res_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 588-618:
Warning Quantified term variable `?RESIDUE.IntSeq.Valid_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 619-648:
Warning Quantified term variable `?IntSeqRep.Public.st_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 649-677:
Warning Quantified term variable `?IntSeqRep.RefArray_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 678-709:
Warning Quantified term variable `?IntSeqRep.Public.elem_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 710-739:
Warning Quantified term variable `?IntSeqRep.Public.sz_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 740-769:
Warning Quantified term variable `?RESIDUE.IntSeq.Data_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 770-779:
Warning Quantified term variable `?x_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 780-791:
Warning Quantified term variable `?s_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 792-809:
Warning Quantified term variable `?ALLOCATED_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 810-820:
Warning Quantified term variable `?LL_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2", line 733, character 821-835:
Warning Quantified term variable `?VIRGIN_ : int` is unused