IndentInfo line =getHistory().getLine(indexLine);
IndentationHandler skipIndentHandler=new IndentationHandler();
getHistory().setTokenIndex(Math.max(0, line.getTokensSeen()-1));
skipIndentHandler.setInLeftMargin(false);
getHistory().readRecoverToken(myParser, false);
<BUG>while(myParser.getCurrentToken()!=SGLR.EOF){
</BUG>
getHistory().readRecoverToken(myParser, false);
<BUG>skipIndentHandler.updateIndentation(myParser.getCurrentToken());
</BUG>
if(skipIndentHandler.lineMarginEnded()){

IndentInfo line =getHistory().getLine(indexLine);
IndentationHandler skipIndentHandler=new IndentationHandler();
getHistory().setTokenIndex(Math.max(0, line.getTokensSeen()-1));
skipIndentHandler.setInLeftMargin(false);
getHistory().readRecoverToken(myParser, false);
while(myParser.getCurrentToken().getToken()!=SGLR.EOF){
getHistory().readRecoverToken(myParser, false);
skipIndentHandler.updateIndentation(myParser.getCurrentToken().getToken());
if(skipIndentHandler.lineMarginEnded()){
