Variable IsExpression.typeSpecialization

class IsExpression
{
  // ...
  TypeSpecialization typeSpecialization;
  // ...
}