Did you know ... Search Documentation:
Predicate incr_trans_depends/2