Record more of what we discover in the predicate map