public object TestArrayNotNull1() { Module[] modules = Assembly.GetExecutingAssembly().GetModules(); Contract.Assume(modules?.Length > 0); var result = modules?[0]; return modules?[0]; }