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