further simplify propositional CASL formulas

This simplification allows to discharge some proof obligations (wrt overlapping patterns) generated by CCC.
@mcodescu please review