Added predicate tools for detecting state changes in maps to and from a set of statuses.
TODO: Update ShowEvidence code to do updates based on state transitions.