added pruning operator