Correction of fake instructions generation

- Unnecessary attributes for internal types removed
- Change in GetReachableBasicBlocks to not add the first one, avoiding
problems during data analysis afterwards
- Change in JumpableBasicBlock to not return the first one, avoiding
problems during data analysis aftewards
- Change in the color scheme of CFG logging