Some improvements in fsm_opt and fsm_map for FSM with unreachable states
Do not share any $reduce_* cells (its complicated and not worth it anyways)
Fixed "share" for complex scenarios with never-active cells