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