*
* The heap analysis might profit also. On the other side, Confirm
* nodes disturb local optimizations, because patterns are destroyed.
*
* The heap analysis might profit also. On the other side, Confirm
* nodes disturb local optimizations, because patterns are destroyed.