206 def prune_post_subset(self, options):  function
242 def prune_post_subset(self, options):  function
266 def prune_post_subset(self, options):  function
298 def prune_post_subset(self, options):  function
335 def prune_post_subset(self, options):  function
372 def prune_post_subset(self, options):  function
439 def prune_post_subset(self, options):  function
775 def prune_post_subset(self, options):  function
818 def prune_post_subset(self, options):  function
853 def prune_post_subset(self, options):  function
1114 def prune_post_subset(self, options):  function
1182 def prune_post_subset(self, options):  function
1319 def prune_post_subset(self, options):  function
1573 def prune_post_subset(self, options):  function