let result_visible kf fm =
    try inst_visible fm (Kernel_function.find_return kf)
    with Kernel_function.No_Definition -> true