public bool Contains(IBuilder builder) { Contract.Requires(builder != null); return false; // dummy }