[POPL Seg 4] Finished and tested PROC language