bug: invalid identifier in consistency check (no crash)

Database: prusti-20260317-151414-d20ecc48c.db

3 file(s) affected