The grammar rules for programs are:
prog:: [stmt | module] | prog [stmt | module]
| prog [stmt | module]