checking of bounded models 1088226