A Fermentation State Marker Rule Design Task in Metabolic Engineering