6.1.6 Embedded Region Constraint

Embedded region constraints are used for local-global analysis [3, §6.3].