Add state predicate methods