renamed nnodes as vnodes for variable nodes (as opposed to constant)