Interface PropagationConstraint