Major fix of `subopti` atoms generation in disjunction elimination. Always prune postconditions, but do not remove from them constraints on parameters during `initstep` (i.e. `iter_no` 0 and 1, when only non-recursive branches participate in disj. elim.).