Added description of test cases for keel, but not enough and might not be right