let add_logic_function =
    add_logic_function_gen Logic_utils.is_same_logic_profile