symbol_finder: support operating on a list of nodes
var_simplifier: more clear and pure data flow