revised merging of warnings by dataflow; removed tracking of arguments as part of function (instead, handled like locals)