Frama-C API - Split_return
This module is used to merge together the final states of a function according to a given strategy. Default is to merge all states together
val kf_strategy : Frama_c_kernel.Kernel_function.t -> Split_strategy.t