TrabLFA contains a complete code with erros on remove Lambda symbols