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