fixed labeling of nodes for inner predicate calls