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