Cache results of unification