include S.Analyzer with type Location.t = unit