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