Minor improvement of comments for SimpleCnf