Assertion violation in src/smt/smt_internalizer.cpp at line 1044

```
$z3 bug.smt2
ASSERTION VIOLATION
File: ../src/smt/smt_internalizer.cpp
Line: 1044
b_internalized(to_app(n)->get_arg(0))
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
^C^C
$cat bug.smt2
(check-sat (not false))
```
OS: Ubuntu 18.04
Commit: 47bd063