Interprocedural analysis that collects the name of variables defined