HW1: Unstratifiable Program Error for Henry Kwan

[Josh Rosen]

During office hours yesterday, Henry Kwan (hkew...@gmail.com / 21105625) asked why his program failed with "Unstratifiable Program Error".  It looks like it failed all of the test cases due to that error, but passes every test after making a one-character change to remove a cycle containing negation.  He says that he tested his program and that it worked locally, so perhaps he was using an earlier version of Bud that was affected by a notin bug or something?

I just wanted to mention this in case you gave him 0 points or something, because we should probably re-grade (he clearly understood the assignment and it looks like this was just a Bud issue).

- Josh