Short Circuit Constraint