File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1205, character 26-38:
Warning Quantified term variable `?alloc : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3882-3895:
Warning Quantified term variable `?file_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3896-3915:
Warning Quantified term variable `?ALLOCATED_23 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3740-3751:
Warning Quantified term variable `?p_14 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3582-3595:
Warning Quantified term variable `?res_91 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3606-3619:
Warning Quantified term variable `?res_92 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3630-3643:
Warning Quantified term variable `?res_93 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3654-3667:
Warning Quantified term variable `?res_94 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 7168-7181:
Warning Quantified term variable `?res_86 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 7141-7152:
Warning Quantified term variable `?p_12 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 7085-7098:
Warning Quantified term variable `?file_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 7050-7069:
Warning Quantified term variable `?ALLOCATED_21 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 6941-6954:
Warning Quantified term variable `?res_85 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 6764-6777:
Warning Quantified term variable `?res_83 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 6711-6724:
Warning Quantified term variable `?res_81 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10637-10648:
Warning Quantified term variable `?rf_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10649-10664:
Warning Quantified term variable `?origin_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10665-10680:
Warning Quantified term variable `?offset_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10681-10710:
Warning Quantified term variable `?RESIDUE.File.srcCur_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10743-10762:
Warning Quantified term variable `?ALLOCATED_22 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10785-10813:
Warning Quantified term variable `?RESIDUE.File.state_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10441-10452:
Warning Quantified term variable `?p_13 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10463-10476:
Warning Quantified term variable `?res_90 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10235-10248:
Warning Quantified term variable `?res_87 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10259-10272:
Warning Quantified term variable `?res_88 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 10283-10296:
Warning Quantified term variable `?res_89 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3483-3496:
Warning Quantified term variable `?res_77 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3507-3520:
Warning Quantified term variable `?res_78 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3281-3294:
Warning Quantified term variable `?res_75 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3305-3318:
Warning Quantified term variable `?res_76 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 24067-24080:
Warning Quantified term variable `?res_57 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 24038-24051:
Warning Quantified term variable `?res_56 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23929-23942:
Warning Quantified term variable `?res_53 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23900-23913:
Warning Quantified term variable `?res_52 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23847-23860:
Warning Quantified term variable `?res_65 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23821-23831:
Warning Quantified term variable `?p_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23766-23779:
Warning Quantified term variable `?file_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23731-23750:
Warning Quantified term variable `?ALLOCATED_16 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23622-23635:
Warning Quantified term variable `?res_64 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23445-23458:
Warning Quantified term variable `?res_62 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23392-23405:
Warning Quantified term variable `?res_60 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 27539-27552:
Warning Quantified term variable `?res_57 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 27510-27523:
Warning Quantified term variable `?res_56 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 27401-27414:
Warning Quantified term variable `?res_53 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 27372-27385:
Warning Quantified term variable `?res_52 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23259-23272:
Warning Quantified term variable `?res_49 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23230-23243:
Warning Quantified term variable `?res_48 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23172-23185:
Warning Quantified term variable `?res_46 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23146-23156:
Warning Quantified term variable `?p_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23064-23075:
Warning Quantified term variable `?rf_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23033-23048:
Warning Quantified term variable `?origin_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 23002-23017:
Warning Quantified term variable `?offset_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 22958-22986:
Warning Quantified term variable `?RESIDUE.File.srcCur_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 22923-22942:
Warning Quantified term variable `?ALLOCATED_13 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 22880-22907:
Warning Quantified term variable `?RESIDUE.File.state_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 22508-22521:
Warning Quantified term variable `?res_44 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 58121-58134:
Warning Quantified term variable `?code_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40643-40656:
Warning Quantified term variable `?file_6 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40657-40665:
Warning Quantified term variable `?b : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40666-40681:
Warning Quantified term variable `?mayBlock : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40682-40710:
Warning Quantified term variable `?RESIDUE.File.srcCur_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40743-40762:
Warning Quantified term variable `?ALLOCATED_17 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40785-40812:
Warning Quantified term variable `?RESIDUE.File.state_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40291-40304:
Warning Quantified term variable `?res_72 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40315-40328:
Warning Quantified term variable `?res_73 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40339-40352:
Warning Quantified term variable `?res_74 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40174-40187:
Warning Quantified term variable `?res_70 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40188-40201:
Warning Quantified term variable `?res_69 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40212-40225:
Warning Quantified term variable `?res_71 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40090-40101:
Warning Quantified term variable `?p_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 39966-39979:
Warning Quantified term variable `?res_66 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 39990-40003:
Warning Quantified term variable `?res_68 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 40004-40017:
Warning Quantified term variable `?res_67 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 60768-60781:
Warning Quantified term variable `?res_41 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 60739-60752:
Warning Quantified term variable `?res_40 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61900-61913:
Warning Quantified term variable `?res_37 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61871-61884:
Warning Quantified term variable `?res_36 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61762-61775:
Warning Quantified term variable `?res_33 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61733-61746:
Warning Quantified term variable `?res_32 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61680-61693:
Warning Quantified term variable `?res_30 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61654-61664:
Warning Quantified term variable `?p_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61599-61612:
Warning Quantified term variable `?file_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61564-61583:
Warning Quantified term variable `?ALLOCATED_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61193-61206:
Warning Quantified term variable `?res_26 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61217-61230:
Warning Quantified term variable `?res_27 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 61241-61254:
Warning Quantified term variable `?res_28 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66914-66927:
Warning Quantified term variable `?res_16 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66885-66898:
Warning Quantified term variable `?res_15 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66776-66789:
Warning Quantified term variable `?res_12 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66747-66760:
Warning Quantified term variable `?res_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66694-66707:
Warning Quantified term variable `?res_24 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66668-66678:
Warning Quantified term variable `?p_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66613-66626:
Warning Quantified term variable `?file_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66579-66597:
Warning Quantified term variable `?ALLOCATED_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66471-66484:
Warning Quantified term variable `?res_23 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66300-66313:
Warning Quantified term variable `?res_21 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66247-66260:
Warning Quantified term variable `?res_19 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 70386-70399:
Warning Quantified term variable `?res_16 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 70357-70370:
Warning Quantified term variable `?res_15 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 70248-70261:
Warning Quantified term variable `?res_12 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 70219-70232:
Warning Quantified term variable `?res_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66116-66128:
Warning Quantified term variable `?res_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66088-66100:
Warning Quantified term variable `?res_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66032-66044:
Warning Quantified term variable `?res_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 66006-66016:
Warning Quantified term variable `?p_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 65927-65938:
Warning Quantified term variable `?rf_2 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 65896-65911:
Warning Quantified term variable `?origin_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 65865-65880:
Warning Quantified term variable `?offset_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 65821-65849:
Warning Quantified term variable `?RESIDUE.File.srcCur_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 65787-65805:
Warning Quantified term variable `?ALLOCATED_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 65744-65771:
Warning Quantified term variable `?RESIDUE.File.state_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 65017-65029:
Warning Quantified term variable `?res_2 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 82442-82455:
Warning Quantified term variable `?code_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3079-3089:
Warning Quantified term variable `?res : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 3100-3112:
Warning Quantified term variable `?res_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1341-1367:
Warning Quantified term variable `?FileRd.T.sourceH_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1368-1397:
Warning Quantified term variable `?RESIDUE.File.pvalid_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1398-1427:
Warning Quantified term variable `?RESIDUE.File.srcEof_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1428-1457:
Warning Quantified term variable `?RESIDUE.File.svalid_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1458-1484:
Warning Quantified term variable `?RESIDUE.File.snk_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1485-1510:
Warning Quantified term variable `?RESIDUE.Rd.okay_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1511-1542:
Warning Quantified term variable `?RESIDUE.File.readable_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1543-1564:
Warning Quantified term variable `?Rd.T.closed_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1565-1596:
Warning Quantified term variable `?RESIDUE.File.canBlock_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1597-1629:
Warning Quantified term variable `?RESIDUE.RdClass.svalid_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1630-1659:
Warning Quantified term variable `?RESIDUE.Rd.isClosed_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1660-1692:
Warning Quantified term variable `?RESIDUE.File.writeable_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1693-1724:
Warning Quantified term variable `?RESIDUE.File.statSize_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1725-1751:
Warning Quantified term variable `?RESIDUE.Rd.valid_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1752-1778:
Warning Quantified term variable `?RESIDUE.File.src_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1779-1807:
Warning Quantified term variable `?RESIDUE.File.valid_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1808-1825:
Warning Quantified term variable `?Rd.T.st_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1826-1855:
Warning Quantified term variable `?RESIDUE.File.srcCur_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1856-1879:
Warning Quantified term variable `?Rd.T.seekable_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1880-1908:
Warning Quantified term variable `?RESIDUE.File.state_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1909-1940:
Warning Quantified term variable `?RESIDUE.Rd.ungettable_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1941-1958:
Warning Quantified term variable `?Rd.T.hi_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1959-1985:
Warning Quantified term variable `?RESIDUE.Rd.state_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 1986-2005:
Warning Quantified term variable `?Rd.T.buff_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2006-2023:
Warning Quantified term variable `?Rd.T.lo_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2024-2051:
Warning Quantified term variable `?RdClass.CharArray_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2052-2079:
Warning Quantified term variable `?RESIDUE.Rd.istate_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2080-2107:
Warning Quantified term variable `?Rd.T.intermittent_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2108-2126:
Warning Quantified term variable `?Rd.T.cur_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2127-2144:
Warning Quantified term variable `?dontBlock_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2145-2156:
Warning Quantified term variable `?pos_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2157-2167:
Warning Quantified term variable `?rd_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2168-2185:
Warning Quantified term variable `?ALLOCATED_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2186-2196:
Warning Quantified term variable `?LL_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2", line 1257, character 2197-2211:
Warning Quantified term variable `?VIRGIN_ : int` is unused