Constraints:

Signature: interrupting_edges() : Boolean;Description: Interrupting edges of a region must have their source node in the region
and their target node outside the region in the same activity containing
the region.Expression: true