Local transition constraints