public void testEqualityAxiomsKBabcAEqualsCSucceeds() { testEqualityAxiomsKBabcAEqualsCSucceeds(new FOLModelElimination()); }