:- 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).