let lval_to_loc_kinstr kinstr ~with_alarms lv =
CilE.start_stmt kinstr;
let state = Db.Value.noassert_get_state kinstr in
(* Format.printf "@\ngot state when lval_to_loc:%a@."
Relations_type.Model.pretty state; *)
let r = lval_to_loc ~with_alarms state lv in
CilE.end_stmt ();
r