Variable IsExpression.typeSpecialization

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