Fixes to `dsjelim_simplify` to keep parameters rather than constants in postconditions (at iteration `iter_no=1` when still only non-recursive branches are passed to `disjelim`).