jacks/tests/jls/definite-assignment/statements/switch-statements
