Revert "Merge branch 'code-contracts' into develop"

This reverts commit 19afd5c65dff7fa38b364ad59dd400b36943c0f1, reversing
changes made to 9dc3fd9869978503af31576d9c598e18326d2d44.

Conflicts:
	include/smack/BoogieAst.h