Cleanup of error handling of some of the files under goto-programs#2904

Merged

NlightNFotis merged 2 commits intodiffblue:developfrom

NlightNFotis:2836_takeover

Sep 20, 2018

Commits on Sep 19, 2018

Convert asserts and throws to INVARIANTs for files starting with g

Andreas Paschos
authored and
NlightNFotis
committed
Remove some preconditions and appropriately type the expressions.
NlightNFotis
committed