createMenuButtonProveStructured :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonProveStructured gi =
  createMenuButton "Prove VSE Structured" (\ descr _ ->
    proofMenu gi (SelectCmd Prover $ "VSE structured: " ++ show descr)
              $ VSE.prove (libName gi, descr)) gi
createMenuButtonProveStructured :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonProveStructured gi =
  createMenuButton "Prove VSE Structured" (\ descr _ ->
    proofMenu gi (SelectCmd Prover $ "VSE structured: " ++ show descr)
              $ VSE.prove (libName gi, descr)) gi
createMenuButtonProveStructured gi =
  createMenuButton "Prove VSE Structured" (\ descr _ ->
    proofMenu gi (SelectCmd Prover $ "VSE structured: " ++ show descr)
              $ VSE.prove (libName gi, descr)) gi