this should still link to Label. and furthermore `case` and `default` should also be a Label instead of `jsBranch`