Added an example to illustrate the bug in the checker related to @Raw.