Cleanup of asserts and throws under the goto-symex directory#2902

Merged

tautschnig merged 2 commits intodiffblue:developfrom

NlightNFotis:custom_exception

Sep 24, 2018

Commits on Sep 20, 2018

Replace asserts and throws with INVARIANT etc.

John Nonweiler
authored and
NlightNFotis
committed

Commits on Sep 24, 2018

Translate asserts and throws to PRECONDITIONS and INVARIANTS
NlightNFotis
committed