null値廃絶と、全ての変数をimutableに。これで単純バグは半減する。
問題は、仕様の解釈ズレによるバグと、仕様の想定漏れによるバグだな。