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