1 2 3 4 5 6 7 8 9
(set-logic QF_S) (set-info :status sat) (set-option :strings-exp true) (declare-fun s () String) (assert (= s "<a></a>")) (assert (< (str.indexof s "<a>" 0) (str.indexof s "</a>" 0))) (check-sat)