Added consumption of <EOF> in grammafile to ensure no junk is allowed after the valid program