Added single EventB component validation constraint.