Constraint analysis

X