The identifiers of the bad executions are now reported (rather than just the total count of bad executions). I also extended the C lexer to allow // and /*...*/ comments between procedures (because it's always nice to be able to write comments in one's litmus tests).