junit.framework.AssertionFailedError: Test should complete normally at alice.tuprolog.TestVarIsEqual.testDifferntVarsCompareEqual(TestVarIsEqual.java:110)