createMenuButtonDisproveAtNode :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonDisproveAtNode gi =
  createMenuButton "Disprove" (disproveAtNode gi) gi
createMenuButtonDisproveAtNode :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonDisproveAtNode gi =
  createMenuButton "Disprove" (disproveAtNode gi) gi
createMenuButtonDisproveAtNode gi =
  createMenuButton "Disprove" (disproveAtNode gi) gi