added closure based callgraph visitor, and changed some [T]->Vec<T>