(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)