Add some instances about truncation of IsTrunc