Added attribute for BB: dead=false

+ BasicBlock constructor is modified