Correct of node type predicates