Some more OCL tests