Declaración de subprogramas.
Sentencia llamada a subprograma: funciona correctamente.
Verificaciones: número de parámetros y tipos son los mismos

Pendiente:
1 - validar la existencia de sentenciaReturn en Función.
2 - subprogramas anidados
3 - recursividad