Debugging Chekcer