beautify code before analysis
experimenting with warnings
first version of type diff