Missing file
Added an optional pass (triggers with CHECK=1 env var) to check correctness. This check that no node has an equivalent type with a different object_id (it checks that everything was correctly unified)