cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l_j (AST.CBlockStmt (AST.CExpr (Just e) nodeInfo)) =  -- exp
  let e' = cff_trans_exp localVars fargs ctxtName e
  in [AST.CBlockStmt (AST.CExpr (Just e') nodeInfo)]
cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l_j (AST.CBlockStmt (AST.CExpr (Just e) nodeInfo)) =  -- exp
  let e' = cff_trans_exp localVars fargs ctxtName e
  in [AST.CBlockStmt (AST.CExpr (Just e') nodeInfo)]
cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l_j (AST.CBlockStmt (AST.CExpr (Just e) nodeInfo)) =  -- exp
  let e' = cff_trans_exp localVars fargs ctxtName e
  in [AST.CBlockStmt (AST.CExpr (Just e') nodeInfo)]