Implemented CtrlFlowOpti as special case of ConstantFolding