CS: add step4_if_fn_do