models: Use with stmts in exception tests