Kotlin control flow

Core principle

Make the classified value obvious, keep branch-local predicates on their branch, and let the compiler prove closed-domain coverage.

Procedure

1. Name the value being classified. If every branch tests it, use when (subject); otherwise keep a subjectless when or if chain.
2. Choose the branch shape: