Construction of ROBDDs