for_each_combination
RelabelDefNode::combination + SetValue::combine
FALSE & IMPLEMENT ==> 0
Const/Range/Set definitions