criar teste continuação pura do parser ao artigo

[petrolifero]

[x] Criar elementos do parser apenas para fazer isso [ ] Validar elementos do pi-automata para aceitar esse teste [ ] Escrever uma seção de exemplo do artigo apenas para esse exemplo [ ] Introduzir conceitos necessarios, semantica formal apenas o suficiente para esse exemplo

O teste que deve passar é :

module nothing
var k,x;
init k=false,x=0;
fun f(cont)
{
  k=cont;
  return 0;
}
x=call/cc(f);
if(x<5)
{
   print(x);
   k(x+1);
}

[petrolifero]

https://pt.overleaf.com/latex/templates/style-and-template-for-preprints-arxiv-bio-arxiv/fxsnsrzpnvwc