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 t006) IS4[-1] + 1 WHEN ((t006) AND (IS4[-1] <> o024_K) AND p146) 1 WHEN ((t006) AND IS4[-1] = o024_K AND p146) IS4[-1] OTHERWISE

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]

NOT(Req)