P(node-element-equality-double,prefix,id)