/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/forester-heap/ChcSmtPrinter_dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i.smt2


--------------------------------------------------------------------------------


(error "line 29 column 6980: unknown constant v_#memory_int_5")
(error "line 34 column 7296: unknown constant v_#memory_$Pointer$.base_10")
(error "line 35 column 7309: unknown constant v_#memory_$Pointer$.base_15")
(error "line 42 column 5186: unknown constant v_#memory_$Pointer$.offset_23")
(error "line 48 column 8049: unknown constant v_#memory_int_28")
(error "line 71 column 3338: unknown constant old(#StackHeapBarrier)")
sat