Currently no integrity check is performed (i.e., check that each node
that uses an unsafe node is itself declared as unsafe).