Stub for CSE; Is nodes with the same constant get the same node