bigStepTransMax :: Statement -> Trans (String -> Int,Int) Statement
bigStepTransMax stmt = do
  (_, i) <- get
  if i == 0
    then return stmt
    else do
      stmt'' <- T $ \(f, i) -> let (stmt', f') = smallStep f stmt in (stmt', (f', i - 1))
      bigStepTransMax stmt''