Title: Detection of Global State Predicates