Updated documentation for guard predicate