Add CheckOperationTest. Load ontology expr-core-coupled.owl.  Check if, after reasoning, mockExp1 is a IntSumExpression (fails).
IRI adjustments.  Create copies of ops ontologies with distinct IRIs.