abort quantifiers check if master equality engine is inconsistent.