32 for (
int i = 0; i < e.
arity(); i++)
44 #define vals3(a, b, c) ((a) + 1 + ((b) + 1) * 3 + ((c) + 1) * 9)
45 #define vals4(a, b, c, d) (vals3(a, b, c) + ((d) + 1) * 27)
159 case vals4(-1,-1,1,-1):
case vals4(-1,-1,-1,-1):
193 case vals4(-1,-1,-1,1):