Fixed synthesis errors caused by incomplete case statement