(* The subject line is misleading now since this will be in the "to begin"/ "to end" sections, but I kept it anyway. *)

    to begin do statement;

or ^ Better mention it with or without this one? to end do statement;

In this case, I'd say, with the semicolon, since the semicolon is necessary because of the "to begin do".

In other cases, like the various loops, there should be -- strictly speaking -- no semicolon at the end, because it's not required by the loop, and actually doesn't have to be there (e.g. before an "end" or an "else" that belongs to a "case"), and sometimes even must not be there (before an "else" that belongs to an "if").