Merge branch 'release-0.9.1' into develop
Bumped version number for develop.
Adding exits even to procedures that never return.
Fixes for 2 subtle modifies calculation problems.
Removed unnecessary modifies calculation.
Bumped version number.
Merge branch 'release-0.9.2'