bug fix

don't count the case where ElaboratedType's named type is
of record type