Faster execution of JavaScript code also is highlighted ... ensures that all possible variants of a value are handled in flow control and that there are no redundant cases that are not reachable ...