Add support for struct field accessing in loop contracts#3970

tautschnig merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

thanhnguyen-aws:loopstructprojthanhnguyen-aws/kani:loopstructprojCopy head branch name to clipboard