let trange ?(loc=Lexing.dummy_pos, Lexing.dummy_pos) (low,high) = term ~loc (Trange(low,high)) (Ltype(Logic_env.find_logic_type "set",[Linteger]))