Logic_optimization loading ...