Added State.getPredicates().
Merge pull request #31 from niode/nathan

Added State.getPredicates().