:- module term.
:- pragma termination_info(term:'ClassMethod_for_enum__enum____term__var__arity1______enum__from_int_1'((builtin:in)) = (builtin:out), finite(1, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:'ClassMethod_for_enum__enum____term__var__arity1______enum__to_int_1'((builtin:in)) = (builtin:out), finite(-1, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:try_term_to_type((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:try_term_to_type((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:term_to_type((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:det_term_to_type((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:det_term_to_type((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:type_to_term((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:type_to_term((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:univ_to_term((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:univ_to_term((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:vars((builtin:in)) = (builtin:out), finite(1, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:vars((builtin:in), (builtin:out)), finite(1, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:vars_2((builtin:in), (builtin:in)) = (builtin:out), finite(1, [no, yes, yes, no]), cannot_loop).
:- pragma termination_info(term:vars_2((builtin:in), (builtin:in), (builtin:out)), finite(1, [no, yes, yes, no]), cannot_loop).
:- pragma termination_info(term:vars_list((builtin:in)) = (builtin:out), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:vars_list((builtin:in), (builtin:out)), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:contains_var((builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(term:contains_var((builtin:in), (builtin:out)), finite(-1, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:contains_var_list((builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(term:contains_var_list((builtin:in), (builtin:out)), finite(-3, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:unify((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:substitute((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(term:substitute((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(term:substitute_list((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(term:substitute_list((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(term:substitute_corresponding((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:substitute_corresponding((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:substitute_corresponding_list((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:substitute_corresponding_list((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:apply_rec_substitution((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:apply_rec_substitution((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:apply_rec_substitution_to_list((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:apply_rec_substitution_to_list((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:apply_substitution((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:apply_substitution((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:apply_substitution_to_list((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:apply_substitution_to_list((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:occurs((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no]), can_loop).
:- pragma termination_info(term:occurs_list((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no]), can_loop).
:- pragma termination_info(term:relabel_variable((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(term:relabel_variable((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(term:relabel_variables((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(term:relabel_variables((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(term:apply_variable_renaming((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:apply_variable_renaming((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:apply_variable_renaming_to_list((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term:apply_variable_renaming_to_list((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:is_ground((builtin:in), (builtin:in)), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(term:is_ground((builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info((term:init_var_supply) = (builtin:out), finite(1, [no, no]), cannot_loop).
:- pragma termination_info(term:init_var_supply((builtin:out)), finite(1, [no, no]), cannot_loop).
:- pragma termination_info(term:init_var_supply((builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(term:create_var((builtin:in), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(term:var_id((builtin:in)) = (builtin:out), finite(-1, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:var_to_int((builtin:in)) = (builtin:out), finite(-1, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:var_to_int((builtin:in), (builtin:out)), finite(-1, [no, yes, no]), cannot_loop).
:- pragma termination_info(term:context_line((builtin:in), (builtin:out)), finite(-2, [yes, no]), cannot_loop).
:- pragma termination_info(term:context_line((builtin:in)) = (builtin:out), finite(-2, [yes, no]), cannot_loop).
:- pragma termination_info(term:context_file((builtin:in), (builtin:out)), finite(-2, [yes, no]), cannot_loop).
:- pragma termination_info(term:context_file((builtin:in)) = (builtin:out), finite(-2, [yes, no]), cannot_loop).
:- pragma termination_info(term:context_init((builtin:out)), finite(2, [no]), cannot_loop).
:- pragma termination_info((term:context_init) = (builtin:out), finite(2, [no]), cannot_loop).
:- pragma termination_info(term:context_init((builtin:in), (builtin:in), (builtin:out)), finite(2, [yes, yes, no]), cannot_loop).
:- pragma termination_info(term:context_init((builtin:in), (builtin:in)) = (builtin:out), finite(2, [yes, yes, no]), cannot_loop).
:- pragma termination_info(term:term_list_to_var_list((builtin:in), (builtin:out)), finite(0, [no, yes, no]), can_loop).
:- pragma termination_info(term:term_list_to_var_list((builtin:in)) = (builtin:out), finite(0, [no, yes, no]), can_loop).
:- pragma termination_info(term:var_list_to_term_list((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(term:var_list_to_term_list((builtin:out), (builtin:in)), finite(0, [no, no, yes]), cannot_loop).
:- pragma termination_info(term:var_list_to_term_list((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(term:generic_term((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(term:coerce((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(term:coerce((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(term:coerce_var((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(term:coerce_var((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(term:coerce_var_supply((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(term:coerce_var_supply((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(term:term_to_type_with_int_instead_of_char((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:compare((builtin:out), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no]), can_loop).
:- pragma termination_info(term:try_term_to_type((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:vars_2_list((builtin:in), (builtin:in), (builtin:out)), finite(0, [no, yes, yes, no]), cannot_loop).
:- pragma termination_info(term:substitute_corresponding_2((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(term:is_ground_2((builtin:in)), finite(0, [no, no]), cannot_loop).