Interface ConstraintConsequence<Node_ extends ConstraintGraphNode>