Espresso_heuristic_logic_minimizer