clean up definition of wf_forest