expand domains before converting assignment dicts to BDDs, because we have to