ConstraintDeclaration: constraint Identifier ( FormalParameterList ) ConstraintBody ConstraintBody: ConstraintBlock
constraint Identifier ( FormalParameterList ) ConstraintBody
ConstraintBody:
ConstraintBlock