expr 0 (((S0 or S1)and(not S2)and(S3 or (not S4))and S5)or((not S6) and S7)); static (S0 and not expr(0);S0 and expr(0)) (S1 and not expr(0);S1 and expr(0)) (S2 and not expr(0);S2 and expr(0)) (S3 and not expr(0);S3 and expr(0)) (S4 and not expr(0);S4 and expr(0)) (S5 and not expr(0);S5 and expr(0)) (S6 and not expr(0);S6 and expr(0)) (S7 and not expr(0);S7 and expr(0)) ;