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