R = List(Ident).
T = String.
V = W <i> Ident.
W = "w".
List(S) ~ {S}. 

// This is a test for Terminal Buffer Rule
//  Notice that the Ident in a list violates TBR
// class V violates TBR.
// Also, the checker produces an error 
// that String and Ident are undefined
// because this version does not support
// imported libraries.