Support for most OCL on SoSyM paper