createMenuButtonProveAtNode :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonProveAtNode gi =
  createMenuButton "Prove" (proveAtNode gi) gi
createMenuButtonProveAtNode :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonProveAtNode gi =
  createMenuButton "Prove" (proveAtNode gi) gi
createMenuButtonProveAtNode gi =
  createMenuButton "Prove" (proveAtNode gi) gi