refactoring: arg of lookahead from State Variables [Stmt] to [Stmt]