use continuation passing style in unification and subsumption