Encapsulated debugging information into Basic Blocks