Complete merge of PB and HCF except for the load forwarders.
Rename the loop analyser to something sensible
Split off CFG analysis code for clarity