Added context ID (dynamic ID of an executable block of statements; one and the same block will receive different context IDs vs. one and the same annotation ID). Type field initialization has no context. Explicit constructor calls (this() and super()) are the first statements to be executed, so we enter a new scope after them. Also steps ($.$.step()) should not preceed constructor calls.