(VAR x y) (RULES and(eq(x, 0), eq(y, 0)) -> eq(or(x, y),0) )