-- | Mark a NodeState as non-confluence.
nonConfluence :: NodeState -> NodeState
nonConfluence nodeState = clearBit nodeState confluenceBit
nonConfluence :: NodeState -> NodeState
nonConfluence nodeState = clearBit nodeState confluenceBit
nonConfluence nodeState = clearBit nodeState confluenceBit