trying to find model indices of conjoined obdds