let lval_to_loc_with_deps ~with_alarms kinstr ~deps lv = CilE.start_stmt kinstr; let state = Db.Value.noassert_get_state kinstr in let result = lval_to_loc_with_deps_state ~with_alarms state ~deps lv in CilE.end_stmt (); result