convention refactoring
refactoring for fitting coding conventions
included contract depth to check nested functions