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