Added special handling for forall and exists tokens while lexing in the filter method.