Fixed bug with construction of CFG containing jump tables