Add function to filter identifiers by whether they refine a proof state