consCheckNode :: GInfo -> Int -> DGraph -> IO ()
consCheckNode gi descr _ = proofMenu gi (GlobCmd CheckConsistencyCurrent)
  $ showConsistencyChecker (Just descr) gi
consCheckNode :: GInfo -> Int -> DGraph -> IO ()
consCheckNode gi descr _ = proofMenu gi (GlobCmd CheckConsistencyCurrent)
  $ showConsistencyChecker (Just descr) gi
consCheckNode gi descr _ = proofMenu gi (GlobCmd CheckConsistencyCurrent)
  $ showConsistencyChecker (Just descr) gi