Module Logic_normalizer.Logic_infos

The analyses in Logic_normalizer may:

auxiliary logic_infos generated from the given logic_info.

Identify the logic_info from which the logic_info identified by the given argument stems from. This is required in order to create meaningful feedback messages for the user who should not be confronted with the names of generated logic functions.