test model state constraint override