bug fix: default case in switch statement prints BasicBlock