createMenuButtonCCCAtNode :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonCCCAtNode gi =
  createMenuButton "Check consistency" (consCheckNode gi) gi
createMenuButtonCCCAtNode :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonCCCAtNode gi =
  createMenuButton "Check consistency" (consCheckNode gi) gi
createMenuButtonCCCAtNode gi =
  createMenuButton "Check consistency" (consCheckNode gi) gi