improved example

Author: edwindj

examples/simplify_conditional.R

@@ -3,10 +3,10 @@ library(validate)
 # superfluous conditions
 rules <- validator(
   r1 = if (x > 0) x < 1,
-  r2 = if (x > 0 && x > 1) y > 0
+  r2 = if (y > 0 && y > 1) z > 0
 )
 # r1 means that x > 0 is superfluous
-# r2 means that x > 0 is superfluous
+# r2 means that y > 0 is superfluous
 simplify_conditional(rules)
 
 # non-relaxing clause