When I press Ctrl + Dot on the class "TokenInterface", instead of only showing the Symfony class, it also suggests Prophecy\Argument\TokenInterface. This makes no sense as I do not have Prophecy installed - and if I actually select it, Visual Studio can't find the class anyhow.