{-     
CS_cff (x = e; \overline{ x = e }; goto l_i) kenv lj = X = E; S
  where X = x
        E = CE_cff e
        S = CS_cff (\overline{ x = e }; goto l_i) kenv lj
-}

cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l_i (AST.CBlockStmt (AST.CCompound ids stmts nodeInfo)) = 
  let stmts' = cff_trans_stmts isReturnVoid localVars fargs ctxtName fname sw kenv l_i stmts
  in [AST.CBlockStmt (AST.CCompound ids stmts' nodeInfo)]
cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l_i (AST.CBlockStmt (AST.CCompound ids stmts nodeInfo)) = 
  let stmts' = cff_trans_stmts isReturnVoid localVars fargs ctxtName fname sw kenv l_i stmts
  in [AST.CBlockStmt (AST.CCompound ids stmts' nodeInfo)]
cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l_i (AST.CBlockStmt (AST.CCompound ids stmts nodeInfo)) = 
  let stmts' = cff_trans_stmts isReturnVoid localVars fargs ctxtName fname sw kenv l_i stmts
  in [AST.CBlockStmt (AST.CCompound ids stmts' nodeInfo)]