validateChangeThrowsInferredAttributeModifiedExceptionWhenRemovedAxiomIsInferred cz.cvut.kbss.jopa.sessions.validator.InferredAttributeChangeValidatorTest