operations match name case pre | post OperationsCompartment constraints case def | inv ConstraintsCompartment