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


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


(error "line 28 column 6547: unknown constant v_#memory_int_5")
(error "line 33 column 4874: unknown constant v_#memory_$Pointer$.offset_8")
(error "line 34 column 6874: unknown constant v_#memory_$Pointer$.base_12")
(error "line 41 column 6958: unknown constant v_#memory_int_18")
(error "line 68 column 3130: unknown constant old(#StackHeapBarrier)")
sat