:- module require. :- pragma termination_info(require:error((builtin:in)), infinite, can_loop). :- pragma termination_info(require:func_error((builtin:in)) = (builtin:out), infinite, can_loop). :- pragma termination_info(require:require(((pred) is semidet), (builtin:in)), infinite, can_loop). :- pragma termination_info(require:report_lookup_error((builtin:in), (builtin:in), (builtin:unused)), infinite, can_loop).