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