azure now running
Merge branch 'develop' of github.com:blaavogn/bdsa into develop
Merge branch 'develop' of github.com:blaavogn/bdsa into develop
begun pre and postconditions
Merge branch 'develop' of github.com:blaavogn/bdsa into develop
Structural nicening
resolved conflict