Re: [DynareDev] [Trac] #104: Add option pruning