The AE manual specifically states that AE will convert PremPro speed changes to AE time-stretch when imported (page 106).
However, in the real world outside the Adobe manual you apear to be correct.
Isn’t there some guy on this board who always writes, “read the manual” 🙂