tcStmt ret (BreakStatement l) = tcStmtBlock l "break statement" $ do
    let t = StmtType (Set.singleton StmtBreak)
    return (BreakStatement $ Typed l t,t)    
tcStmt ret (BreakStatement l) = tcStmtBlock l "break statement" $ do
    let t = StmtType (Set.singleton StmtBreak)
    return (BreakStatement $ Typed l t,t)    
tcStmt ret (BreakStatement l) = tcStmtBlock l "break statement" $ do
    let t = StmtType (Set.singleton StmtBreak)
    return (BreakStatement $ Typed l t,t)    