Unify Trigger (unused)
RuleApply: Unify dests when unifying sources
unification carries over should not fail