Hypothesis Rules

[id: ktepcjcdjlaciwjh] i(if you evaluate $x, it will be true)
  && eval(isSafeEval($x))
  && $b = eval(javaEval($x))
  => outputEval(trueOrFalse(isTrue($b)))