Known_To_Be_Initialized

assert message when context implies that field can not be null