PP0040

Assumed condition cannot hold

Prepack was able to prove that a condition defined by the input code cannot possibly hold.

function checker() {
  let x = __abstract("boolean", "true");
  __assume(x);
  if (!x) {
    global.foo = 42; // This can never happen, PP0049
  }
}