BMC: replace recursion for R and W by loop#1210

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

bmc-R-W-loopdiffblue/hw-cbmc:bmc-R-W-loopCopy head branch name to clipboard