INC es un procedimiento que viene incorporado en Modula-2 (es decir, que no es importado) que hace exactamente lo que escribiste; incrementar en 1 el valor de una variable. Por lo tanto tu solución está bien.
Hay más información de procedimientos que vienen incorporados en Modula-2 en Modula-2 standard procedures.
Saludos