let fun_assign_visible _fm _p = 
    (* TODO : we say that they are removed in order to get correct results,
    * but in fact, we should select them ! *)

    false