Added state matching predicates to Serialize Thread