A tool support for an automated inference of OCL restrictions