• aux : ccc_cmp, ccc_key_cmp, ccc_user_key, ccc_user_type
• key_lhs : ccc_key_cmp
• user_key : ccc_user_key
• user_type : ccc_user_type
• user_type_lhs : ccc_cmp
• user_type_rhs : ccc_cmp, ccc_key_cmp