Gale Paeper wrote:
c) S is a statement of the statement-sequence of the compound-statement of the statement-part of a block containing G.
This is certainly not a trivial statement, care to explain why this is not the case ? Seems to me this one applies here.
Micha