PredictedType should be called SpeculatedType