OCL Component Invariants ?