A Unification Test Framework