https://download.eclipse.org/modeling/mdt/ocl/javadoc/5.0.0/org/eclipse/ocl/util/ProblemHandlerWrapper.html
ProblemHandlerWrapper (MDT-OCL Documentation)
mdtocldocumentation
https://download.eclipse.org/modeling/mdt/ocl/javadoc/5.0.0/org/eclipse/ocl/util/ProblemHandlerWrapper.Tee.html
ProblemHandlerWrapper.Tee (MDT-OCL Documentation)
teemdtocldocumentation