UnificationAssertion defines +assert_unifiable+ assertion to test if given two values are unifiable.