public IBuilder GetEffectiveBuilder(IBuilder builder) { Contract.Ensures(Contract.Result<IBuilder>() != null); return null; // dummy }