Analyzer.Visited
Sub-expressions reached by analyze.
analyze
type t
val empty : t
val union : t -> t -> t
val union_many : t list -> t