Basic blocks are checked to verify they have predecessors