Imandra_util.Syntax_util
val loc_of_iloc : Iloc.t -> Location.t
val iloc_of_loc : Location.t -> Iloc.t