Adding a non-serializable countercase