Make goto_rw slightly less conservative [depends-on: #3769, blocks: #2677, #2694]#2646

Closed

qaphla wants to merge 5 commits intodiffblue:developfrom

qaphla:goto_rw_fix

Commits on Aug 6, 2018

Cleans up some loops to have braces
klaas
committed

Commits on Aug 9, 2018

Disambiguates two exprts with the same ID.
klaas
committed
Turns some checks into DATA_INVARIANTs
klaas
committed
Fixes bugs making goto_rw too conservative
klaas
committed
Adds slice24 test.
klaas
committed