Class PropagationCallGraphBuilder.FilterOperator