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