some modifications for pruning in jadetree