Renamed Code Contract Helper Methods
Merge branch 'master' of https://github.com/lundmikkel/C5