further simplify propositional CASL formulas
Merge pull request #1346 from spechub/CASL-Simplify

further simplify propositional CASL formulas