cff_trans_stmts :: Bool -> -- ^ is return type void
                   S.Set Ident -> -- ^ local vars
                   S.Set Ident -> -- ^ formal args
                   ContextName -> 
                   Ident -> -- ^ fname 
                   Ident -> -- ^ sw
                   M.Map Ident LabeledBlock ->  -- ^ \bar{b} kenv
                   Ident -> -- ^ label for the current block
                   [AST.CCompoundBlockItem N.NodeInfo] ->  -- ^ stmts
                   [AST.CCompoundBlockItem N.NodeInfo]
cff_trans_stmts isReturnVoid localVars fargs ctxtName fname sw kenv l stmts = 
  concatMap (\stmt -> cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l stmt) stmts
cff_trans_stmts :: Bool -> -- ^ is return type void
                   S.Set Ident -> -- ^ local vars
                   S.Set Ident -> -- ^ formal args
                   ContextName -> 
                   Ident -> -- ^ fname 
                   Ident -> -- ^ sw
                   M.Map Ident LabeledBlock ->  -- ^ \bar{b} kenv
                   Ident -> -- ^ label for the current block
                   [AST.CCompoundBlockItem N.NodeInfo] ->  -- ^ stmts
                   [AST.CCompoundBlockItem N.NodeInfo]
cff_trans_stmts isReturnVoid localVars fargs ctxtName fname sw kenv l stmts = 
  concatMap (\stmt -> cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l stmt) stmts
cff_trans_stmts isReturnVoid localVars fargs ctxtName fname sw kenv l stmts = 
  concatMap (\stmt -> cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l stmt) stmts