Executed CFG check; Failed hanoifibfac example