extraneous input s
The following property is not syntactically correct
propBug : occurrence_of AA s ;
The IDE says "extraneous input 's' expecting ';'" But if you substitute s by x, it is correct!
It looks like a bug because s is not a keyword of the language.