create min-mux logic and ab-pruning