elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/properties/inferences/AbstractObjectPropertyInference.java
@Override
	public final <O> O accept(TracingInference.Visitor<O> visitor) {
		return accept((ObjectPropertyInference.Visitor<O>) visitor);
	}
@Override
	public final <O> O accept(TracingInference.Visitor<O> visitor) {
		return accept((ObjectPropertyInference.Visitor<O>) visitor);
	}
}