where clause must be on a single line
In the following property, the where clause spans on two lines:
WherePropertyOnASingleLine : occurrence_of Foo f where (f.value == 1
|| f.value == 2);
This produces erroneous java code
//1
//(f.value == 1
|| f.value == 2)
IEvent event0 = new IEvent ("Foo", "f","(f.value == 1
|| f.value == 2)");
I guess that the third line should also be included in the comment (e.g. using /* ...*/) but there is also an impact on the next line.