- added rewrite-rule for if(p, cond, A)
- added rewrite-rule for if(p, cond, A)

gokhankici/symmetry,abakst/symmetry,abakst/symmetry,gokhankici/symmetry,gokhankici/symmetry,gokhankici/symmetry,abakst/symmetry,abakst/symmetry