Tuning static evaluation
+ adding command to print static eval information
+ some refactoring (indentation)