More work on Model Checkers