Hi Johan:

an ICG has class graphs as customizers (instances).
A class graph has objects as instances.

Given an ICG I and an object O of a class graph belonging
to the customizers of I, when should O be considered
a legal object of I?

What does your intuition say about an interface class graph
and a corresponding class graph? 

-- Karl