[Info ] Imported: tests/llbc/loops_borrow_check_negative.llbc
[Error] Can't end abstraction 16 as it is set as non-endable
Source: 'tests/src/loops-borrow-check-negative.rs', lines 18:0-18:66