public ExposureInferer(TypeSystem t, ReentrancyAnalysis pta)
     : base(t, pta)
 {
 }
 public ExposureInferer(TypeSystem t, ReentrancyAnalysis pta)
     : base(t, pta)
 {
 }