support nested conditions and simplify constructed obligations
Merge branch 'simplify-obligations' into simplify-CASL-formulas
reuse simplification from Simplify
hlint: Use const