[mcs] null propagating operator and expressions which cannot be null