InData WHEN (IS4 = 2 AND IS4[-1] <> 2) IS2[-1] OTHERWISE

InData WHEN (IS4 = 3 AND IS4[-1] <> 3) IS3[-1] OTHERWISE

InData WHEN (IS4 = 1 AND IS4[-1] <> 1) IS1_B[-1] OTHERWISE

IS1 WHEN (IS5 = 1 AND IS5[-1] <> 1) IS2 WHEN (IS5 = 2 AND IS5[-1] <> 2) IS3 WHEN (IS5 = 3 AND IS5[-1] <> 3) IS0[-1] OTHERWISE

1 WHEN (IS4[-1] = 0 AND t042) IS4[-1] + 1 WHEN ((t042) AND (IS4[-1] <> o024_K)) 1 WHEN ((t042) AND IS4[-1] = o024_K) IS4[-1]

3

1 WHEN ((IS5[-1] = 0) AND 1 = 2) IS5[-1] + 1 WHEN (t087 AND IS5[-1] <> o024_K) 1 WHEN (t087 AND IS5[-1] = o024_K) IS5[-1]

1 WHEN ((Req = 0 AND Req[-1] = 1) OR (Req = 1 AND Req[-1] = 0)) 0 OTHERWISE