Human beings are bad at case analysis, so removing case analysis makes the code much more comprehensible. It's a huge improvement. Dijkstra wrote extensively on

Human beings are bad at case analysis, so removing case analysis makes the code much more comprehensible. It's a huge improvement. Dijkstra wrote extensively on the subject and his arguments are compelling[1]. [1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD07xx/EWD764.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD07xx/E... and https://www.google.com/search?q=site%3Ahttps%3A%2F%2Fwww.cs.utexas.edu%2F~EWD%2F+case+analysis https://www.google.com/search?q=site%3Ahttps%3A%2F%2Fwww.cs.... for more