More tests, more type programming
Node Comparator better, Adding identical becauses / results as constraints