Fix tests broken by starting to add new quantifier