Added State.getPredicates().