let result_visible kf fm_kf = try inst_visible fm_kf (Kernel_function.find_return kf) with Kernel_function.No_Statement -> true