checkBlock (BlockStmt (VRet:bs)) = do
  env <- ask
  let mt = M.lookup "" env
  Control.Monad.when (isNothing mt) $ throwError defaultErr
  let rt = fromMaybe (error "wrong return type") mt
  Control.Monad.when (rt /= TV) $ throwError defaultErr
  checkBlock (BlockStmt bs)