add a spec proving node_where == where