Tests and interface for context unification.