First round of patches to remove the term 'basicBlock' and replace it by the term 'statement' because this has caused quite a bit of confusion since by 'basicBlock' we mean 'minimal basic block'.