this observation points to how reasonable languages should be designed and implemented:
1. start with determinable semantics that refuse the temptation to guess. if the execution path is ambiguous, force the user to make a choice.
2. add opt-in optimization guaranteed to improve the outcome. optional, so the user accounts for its possible absence.
3. allow user-side omissions where optimization grows reliable.