tcStmtsRet :: ProverK loc m => loc -> Type -> [Statement Identifier loc] -> TcM m [Statement GIdentifier (Typed loc)]
tcStmtsRet l ret ss = do
    (ss',StmtType st) <- tcStmts ret ss
    isReturnStmt l st ret 
    return ss'
tcStmtsRet :: ProverK loc m => loc -> Type -> [Statement Identifier loc] -> TcM m [Statement GIdentifier (Typed loc)]
tcStmtsRet l ret ss = do
    (ss',StmtType st) <- tcStmts ret ss
    isReturnStmt l st ret 
    return ss'
tcStmtsRet l ret ss = do
    (ss',StmtType st) <- tcStmts ret ss
    isReturnStmt l st ret 
    return ss'