1 2 3 4 5 6 7 8
(set-logic QF_ALL_SUPPORTED) (set-info :status unsat) (declare-sort Loc 0) (declare-const l Loc) (declare-heap (Loc Loc)) (assert (sep (not (_ emp Loc Loc)) (not (_ emp Loc Loc)))) (assert (pto l l)) (check-sat)