- implemented the BoogieLocation class.
- improved the generation of BoogieLocation for BasicBlock in CFG.