Put the assert i != in_literal right after the statement.

I'm not sure it is really useful but there is a check right after
SPECIFIC(X) that i != in_literal. I moved it down and made it its own
bug.
Add JSONY to "see also" list.