Add negative example triggering "Internal error"

Suggested by Tillmann when discussing #108.