Corner case improvement. The variableMerge() and simplifyCFG() is found
to be broken. Need to debug them before I can add them back.