interpreter for CFG and bugfixes