The node you are looking for is at Predicate and function types.