:- module group.
:- pragma termination_info(group:init((builtin:out)), finite(3, [no, no]), cannot_loop).
:- pragma termination_info((group:init) = (builtin:out), finite(3, [no, no]), cannot_loop).
:- pragma termination_info(group:insert((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(group:insert((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(group:group((builtin:in), (builtin:in), (builtin:out)), finite(-7, [no, yes, no, no]), can_loop).
:- pragma termination_info(group:group((builtin:in), (builtin:in)) = (builtin:out), finite(-7, [no, yes, no, no]), can_loop).
:- pragma termination_info(group:to_set((builtin:in), (builtin:out)), finite(-3, [no, yes, no]), can_loop).
:- pragma termination_info(group:to_set((builtin:in)) = (builtin:out), finite(-3, [no, yes, no]), can_loop).
:- pragma termination_info(group:sets_and_keys((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(group:sets_and_keys((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(group:group_key((builtin:in), (builtin:in), (builtin:out)), finite(-7, [no, yes, no, no]), can_loop).
:- pragma termination_info(group:group_key((builtin:in), (builtin:in)) = (builtin:out), finite(-7, [no, yes, no, no]), can_loop).
:- pragma termination_info(group:key_group((builtin:in), (builtin:in), (builtin:out)), finite(-7, [no, yes, no, no]), can_loop).
:- pragma termination_info(group:key_group((builtin:in), (builtin:in)) = (builtin:out), finite(-7, [no, yes, no, no]), can_loop).
:- pragma termination_info(group:remove_group((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(group:same_group((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no]), can_loop).
:- pragma termination_info(group:largest_group_key((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(group:largest_group_key((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(group:group_keys((builtin:in), (builtin:out)), finite(-3, [no, yes, no]), cannot_loop).
:- pragma termination_info(group:group_keys((builtin:in)) = (builtin:out), finite(-3, [no, yes, no]), cannot_loop).
:- pragma termination_info(group:largest_group_key_2((builtin:in), (builtin:in), (builtin:in), (builtin:out)), finite(0, [no, yes, no, yes, no]), cannot_loop).
:- pragma termination_info(group:get_sets((builtin:in), (builtin:out)), finite(-3, [no, yes, no]), cannot_loop).
:- pragma termination_info(group:get_elements((builtin:in), (builtin:out)), finite(-3, [no, yes, no]), cannot_loop).