internal override void Typecheck(FastPgm pgm) { //correct by construction, in particular cannot be empty }