working on interpreter (symbolic execution)