Parser possibly completed, AST refined to have List[Instr/Var]