public void K(List <string> lista)
 {
     RequiresAtCallMaskingTest.ReadList(lista);
 }
        public void M(List <string> ys)
        {
            Contract.Requires(ys != null);

            RequiresAtCallMaskingTest.ReadList(ys);
        }