dataflow tracking through AssignStmt is mostly done; need to deal with the functions