pushStatement :: StatementWrapper -> State ConvState ()
pushStatement stmt = do
  (stmts, n) <- get
  put (stmts . stmt, n)
  return ()

----------
pushStatement :: StatementWrapper -> State ConvState ()
pushStatement stmt = do
  (stmts, n) <- get
  put (stmts . stmt, n)
  return ()

----------
pushStatement stmt = do
  (stmts, n) <- get
  put (stmts . stmt, n)
  return ()

----------