[kernel] Use let-binding to position and reset loc in Currentloc

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/cfg.ml

src/kernel_internals/typing/mergecil.ml

src/kernel_internals/typing/oneret.ml

src/kernel_internals/typing/unroll_loops.ml

src/kernel_services/analysis/dataflow2.ml

src/kernel_services/analysis/dataflows.ml

src/kernel_services/analysis/stmts_graph.ml

src/kernel_services/ast_data/globals.ml

src/kernel_services/ast_printing/cprint.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil_const.ml

src/kernel_services/ast_queries/cil_const.mli

src/kernel_services/ast_queries/cil_datatype.mli

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_transformations/filter.ml

src/kernel_services/ast_transformations/inline.ml

src/kernel_services/visitors/cabsvisit.ml