Adopt formatter

add new line after each stat model
Add validations and quickfixes for undeclared variables
Ignore all *._trace files