model checker updated