logic-formulas-to-edge-maps