mostOccuringPlusNeighboursHeuristic; start with mid-frequent vars
construct obdd by conjoining