Fix a bug reported by Ben in prepareCFG. The last change had caused the actual body of the switch statement to disappear.
Fix a bug reported by Ben in prepareCFG. The last change had caused the
actual body of the switch statement to disappear.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c