let mk_offseted_array_lval_from_lval host lvar_off = mk_offseted_array_lval_from_term host (mk_term_from_logic_var lvar_off)