let fun_assign_visible fm_kf (b,_) = (* [VP 2011-02-01] Removing all assigns is incorrect! this would lead to say assigns \nothing for all functions. *) term_visible fm_kf b.it_content