* Fix PFD bugs MISC.100, 102, 105, 107, 112;
... IR1-MERGE-CASTS: do not put merge asserted type
contradicting the derived one;
... IR1-OPTIMIZE-COMBINATION: try terminate block after
PROPAGATE-FUN-CHANGE;
* FLUSH-DEAD-CODE: if the block is split under us, restart.