In CapNet, predicates need to be able to use runtime information to say whether a cnode is part of a valid traversal or not.