New Post: Function Lemma Keyword

Ahh, OK. Now I think that perhaps I am confused and having a syntax related problem.

I did not know how to write SomeLemma(x); E as an invariant, but I now I think it should perhaps be written with brackets (SomeLemma(x); E)