Ignore MODEL files (Boogie Verification Debugger input)