public void testEqualityNoAxiomsKBabcAEqualsCSucceeds() { testEqualityNoAxiomsKBabcAEqualsCSucceeds(new FOLModelElimination(), true); }