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