let select_func_lval set mark lval_str kf =
if Cilutil.StringSet.is_empty lval_str
then set
else
let ki_scope_eval = Kernel_function.find_first_stmt kf in
let ki = Kernel_function.find_return kf in
select_stmt_lval set mark lval_str ~before:false ki ~scope:ki_scope_eval ~eval:ki_scope_eval kf