createMenuButtonCheckCons :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonCheckCons gi =
  createMenuButton "Check conservativity"
    (checkconservativityOfNode gi) gi
createMenuButtonCheckCons :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonCheckCons gi =
  createMenuButton "Check conservativity"
    (checkconservativityOfNode gi) gi
createMenuButtonCheckCons gi =
  createMenuButton "Check conservativity"
    (checkconservativityOfNode gi) gi