implementation of inh. attr. using IntMap