Add support for assigns clauses on loops#6249

Merged

SaswatPadhi merged 7 commits intodiffblue:developfrom

aalok-thakkar:loop-contract-assigns-clauses

Nov 23, 2021

Commits on Nov 21, 2021

fix a bug with inclusion checking on havoc_object
SaswatPadhi
committed