Node Comparator better, Adding identical becauses / results as constraints