Write these up and submit them to the class dropbox, the day before lecture.

===========================================================================

What kinds of programs CAN'T counterexample-guided abstraction refinement
handle well?

===========================================================================

end.