Did you know ... Search Documentation:
Predicate r_push/1

Sorry, No manual entry for r_push/1