reword to "orphan quantifier"
fail on abr_rex range not closed