Fixed performance problem in opt_mux with nets driven by many conflicting drivers