[POPL Seg 4] Updated the grammar to include procedures