let fterm_of_havoc_range t i = D.e_app2 "set_range_index" t i