Has anyone noticed that the PO 2013 allows the programmer to “overrride” predefined procedures and functions, e.g., MODULE M; VAR INC: CHAR; i: INTEGER; BEGIN INC := "a”; INC(i) (*not a procedure*) END M. This should not be allowed..