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