-- | The lambda node is connected exactly to the two nodes causing the conflict.
cgLambda :: CGNodeAnnot
cgLambda = CGNA (L 0) (-1)
cgLambda :: CGNodeAnnot
cgLambda = CGNA (L 0) (-1)
cgLambda = CGNA (L 0) (-1)