Yes, that is <i>another</i> issue with model checkers. Either way, your original comment is still nonsense.