Check pre and post conditions

 * Check the return values of the
   checkPre/Post condition functions.
 * Add an unused class to the model for the remove
   unused class refactoring.
 * Fix post condition check of rename property refactoring
Add/Cleanup refactoring
Merge branch 'master' of github.com:lanoxx/fuml-refactoring