... output log truncated, see `term_indirect_warning.err' for the complete log.
9:   `term_indirect_warning.foo'/3 mode 0 not proven
term_indirect_warning.m:019:   for the following reason:
term_indirect_warning.m:025: It contains a higher order call.