Jako zápočťák bych chtěl napsat symbolický interpretr na .NETový
bytecode.
Mělo by to umět "pochopit" jednoduché programy a zjistit co přesně se
stane když se takový program (funkce) spustí - tzn řekne seznam
vedlejších efektů a co vrátí jako výsledek.