public static void M() { var l = new LazyInit(); Contract.Assume(!String.IsNullOrEmpty("Hello")); l.Name = "Hello"; l.FinalizeInit(); }