CalculatePossibleTypesStage seems to perform its task realiably.