cz.cvut.kbss.jopa.owl2java.ContextDefinitionTest.addAxiomKeepsStableOrderingOfProperties (from ContextDefinitionTest)