addFunc :: SymState -> FuncDecl -> SymState
addFunc (s, t, fl) f = (s, t, (Map.insert (getFuncName f) f fl))
addFunc :: SymState -> FuncDecl -> SymState
addFunc (s, t, fl) f = (s, t, (Map.insert (getFuncName f) f fl))
addFunc (s, t, fl) f = (s, t, (Map.insert (getFuncName f) f fl))