Distinguish statements and sequences of statements in rust llbc ast#356

Merged

Nadrieril merged 2 commits intoAeneasVerif:mainfrom Nadrieril:clarify-stmt-blocks

Sep 12, 2024

+438-553

Commits on Sep 12, 2024