In the meantime, the cause of this bug is the usage of `check f then ... end' where `f' is only used inside a check statement. There are various workarounds:
- do not use `check f then ... end' for the time being
- use `f' outside a `check f then ... end'
- enable assertion checking while finalizing on `check' only clauses
- do not finalize