let fterm_of_shift_index pt i = (Hlib.shift_index pt i)