public void Remove(SuiteRelativePath path) { Contract.Requires(Files.Contains(path)); Contract.Ensures(!files.Contains(path)); files.Remove(path); }