fix wf_to_inners dependency problem with a loop-until-unchanged