let select_func_lval set mark lval_str kf =
if Datatype.String.Set.is_empty lval_str
then set
else
let ki_scope_eval = Kernel_function.find_first_stmt kf in
select_stmt_lval
set mark lval_str
~before:false
(Kernel_function.find_return kf)
~scope:ki_scope_eval
~eval:ki_scope_eval
kf