added working OCL constraint for SelectionForm