427 def prune_pre_subset(self, options):  function
759 def prune_pre_subset(self, options):  function
804 def prune_pre_subset(self, options):  function
840 def prune_pre_subset(self, options):  function
1069 def prune_pre_subset(self, options):  function
1204 def prune_pre_subset(self, options):  function
1242 def prune_pre_subset(self, options):  function
1297 def prune_pre_subset(self, options):  function
1326 def prune_pre_subset(self, options):  function
1720 def prune_pre_subset(self, options):  function
1765 def prune_pre_subset(self, options):  function