@@ expression e; constant n0, n1, n2, n3, n4, n5, n6, n7, n8, n9; @@ - e == n0 || e == n1 || e == n2 || e == n3 || e == n4 || e == n5 || e == n6 || e == n7 || e == n8 || e == n9 + IN_SET(e, n0, n1, n2, n3, n4, n5, n6, n7, n8, n9) @@ expression e; constant n0, n1, n2, n3, n4, n5, n6, n7, n8; @@ - e == n0 || e == n1 || e == n2 || e == n3 || e == n4 || e == n5 || e == n6 || e == n7 || e == n8 + IN_SET(e, n0, n1, n2, n3, n4, n5, n6, n7, n8) @@ expression e; constant n0, n1, n2, n3, n4, n5, n6, n7; @@ - e == n0 || e == n1 || e == n2 || e == n3 || e == n4 || e == n5 || e == n6 || e == n7 + IN_SET(e, n0, n1, n2, n3, n4, n5, n6, n7) @@ expression e; constant n0, n1, n2, n3, n4, n5, n6; @@ - e == n0 || e == n1 || e == n2 || e == n3 || e == n4 || e == n5 || e == n6 + IN_SET(e, n0, n1, n2, n3, n4, n5, n6) @@ expression e; constant n0, n1, n2, n3, n4, n5; @@ - e == n0 || e == n1 || e == n2 || e == n3 || e == n4 || e == n5 + IN_SET(e, n0, n1, n2, n3, n4, n5) @@ expression e; constant n0, n1, n2, n3, n4; @@ - e == n0 || e == n1 || e == n2 || e == n3 || e == n4 + IN_SET(e, n0, n1, n2, n3, n4) @@ expression e; constant n0, n1, n2, n3; @@ - e == n0 || e == n1 || e == n2 || e == n3 + IN_SET(e, n0, n1, n2, n3) @@ expression e; constant n0, n1, n2; @@ - e == n0 || e == n1 || e == n2 + IN_SET(e, n0, n1, n2) @@ expression e; constant n0, n1; @@ - e == n0 || e == n1 + IN_SET(e, n0, n1)