let
add_logic_function =
add_logic_function_gen
Logic_utils
.is_same_logic_profile