let iter use_ctrl_dpds f kf stmt =
    let action = if use_ctrl_dpds then whole else direct in
    M.iter (fun elt _ -> f elt) (action kf stmt)