taxoShowGeneric kind state ls =
  case ls of
    (nb, nlab) : ll ->
     case i_state $ intState state of
      Nothing -> return ()
      Just _ ->
       case getTh Do_translate nb state of
       -- the theory was computed
        Just th ->
         do
          -- display graph
          displayGraph kind
                    (getDGNodeName nlab) th
          taxoShowGeneric kind state ll
        -- theory couldn't be computed so just go next
        _ -> taxoShowGeneric kind state ll
    _ -> return ()
#else
taxoShowGeneric _ _ _ = return ()
#endif
taxoShowGeneric kind state ls =
  case ls of
    (nb, nlab) : ll ->
     case i_state $ intState state of
      Nothing -> return ()
      Just _ ->
       case getTh Do_translate nb state of
       -- the theory was computed
        Just th ->
         do
          -- display graph
          displayGraph kind
                    (getDGNodeName nlab) th
          taxoShowGeneric kind state ll
        -- theory couldn't be computed so just go next
        _ -> taxoShowGeneric kind state ll
    _ -> return ()
#else
taxoShowGeneric _ _ _ = return ()
#endif
taxoShowGeneric kind state ls =
  case ls of
    (nb, nlab) : ll ->
     case i_state $ intState state of
      Nothing -> return ()
      Just _ ->
       case getTh Do_translate nb state of
       -- the theory was computed
        Just th ->
         do
          -- display graph
          displayGraph kind
                    (getDGNodeName nlab) th
          taxoShowGeneric kind state ll
        -- theory couldn't be computed so just go next
        _ -> taxoShowGeneric kind state ll
    _ -> return ()
#else
taxoShowGeneric _ _ _ = return ()
#endif