Proper decompilation of switch statement