Releasing sub-constraints from disjunctions bug fix: do not add the premise under which the sub-constraint is located because it can be incompatible with premises of remaining branches.
Releasing disjunction sub-constraints: propagate which existential type corresponds to which variable constrained by unary predicate variable.