BoolTerm: removed redundant quickSimplify rules.