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