invariant: Not recorded immutable binding recorded by havocing

[calebmer]

Error

Invariant Violation: 
debug-fb-www.js:212
This is likely a bug in Prepack, not your code. Feel free to open an issue on GitHub.
    at invariant (/Users/calebmer/prepack/src/invariant.js:18:15)
    at DeclarativeEnvironmentRecord.GetBindingValue (/Users/calebmer/prepack/src/environment.js:353:17)
    at EnvironmentImplementation._dereference (/Users/calebmer/prepack/src/methods/environment.js:252:19)
    at EnvironmentImplementation.GetValue (/Users/calebmer/prepack/src/methods/environment.js:197:20)
    at evaluateReference (/Users/calebmer/prepack/src/evaluators/CallExpression.js:128:26)
    at _default (/Users/calebmer/prepack/src/evaluators/CallExpression.js:62:12)
    at LexicalEnvironment.evaluateAbstract (/Users/calebmer/prepack/src/environment.js:1382:20)
    at LexicalEnvironment.evaluate (/Users/calebmer/prepack/src/environment.js:1370:20)
    at _default (/Users/calebmer/prepack/src/evaluators/BinaryExpression.js:41:18)
    at LexicalEnvironment.evaluateAbstract (/Users/calebmer/prepack/src/environment.js:1382:20)

Input

const havoc = __abstract("function", "(() => {})");

global.result = __evaluatePureFunction(() => {
  const b = __abstract("boolean", "true");

  if (b) {
    var g = function f(i) {
      return i === 0 ? 0 : f(i - 1) + 1;
    };
    havoc(g);
  } else {
    return;
  }

  return g(5);
});