sort vars
reduced obdd
more reduced obdds