refactoring consistency checking -> model checking
add class files to gitignore