Implemented allowEOF handling in the interpreter's sequence code. Implemented annotation handling for the passed in AST (was required since allowEOF is passed as an annotation).