Предлагаю приделать к компилятору выдачу ворнинга при неявной инициализации изменяемых переменных ссылочных типов — там оказывается null, что вредно например при работе со списками и опциями, получается поведение от фазы луны — может вдруг вылезти MatchFailureException или NullReferenceException, а может и нормально работать будет. Лучше когда null там оказывается осознанно.
Вот только сам я это пожалуй не осилю сделать, вернее надо долго разбираться.