Apparently var_num==node_id for named variables