def test_unification_error(self):
        from sebastian.core import Point
        from sebastian.core.elements import UnificationError
        p1 = Point(a=1, b="foo")
        p2 = Point(a=2, b="foo")
        try:
            p1 % p2
            self.assertTrue(False)
        except UnificationError:
            self.assertTrue(True)
Ensure invalid unifications make an error
dataset/ETHPy150Open jtauber/sebastian/tests/test_point.py/TestPoint.test_unification_error