Added trap rep. for unspec/indeter. distinction.
Id => CId.