Fixed code analysis issues CA2002, CA2202, CA2214, CA1001, CA1063.
Began adding code contracts in Grave.
Merge branch 'master' of https://github.com/Loupi/Frontenac.git