Fix Encapsulate field ocl post condition