singleton factory for BDDs, improved evaluation by normalizing values
with varsets