fixed:
- formula path incorrect in apply_param due to changing formula
structure when decided subformulas were erased in evaluation of all and one. This caused problems with nested until in quantified formulas.