13.28.3 Bugs Fixed

• Multiple bugs in interpreted do loops (do/2).
• Cleanup goals (call_cleanup/2) could sometimes be woken too late after a cut.
• Several problems with the way listing/[0,1] displayed calls to meta-predicates.
• Clauses in included files did not get correct variable-name source info in the debugger.
• Error handling of arithmetics could loop.
• ZINC: The var_is_introduced annotation was treated specially, whereas is_defined_var was intended. This could lead to invalid solutions.