public ISet<TargetRelativePath> GetResults(IBuilder builder) { Contract.Requires(builder != null); Contract.Ensures(Contract.Result<ISet<TargetRelativePath>>() != null); return null; // dummy value }