isLiteral is made a member of QuantifierEliminate (Some errors exist.. Will fix them tonight)