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