move test file names to TestConstants.java
add debug method to print all statements in a Model