Introduced stop criteria
Introduced node ids
Changed memory identifies nodes by ids rather than node objects itself
Introduced banned transitions in color permutator