-
Andreas Zwinkau authored
This reverts commit 3d1d2c43. Creating a Bad node does not imply that it has users or is reachable within an irg. While clearing the property is certainly correct as a conservative approximation, it should not be necessary.
da6c0d72