more compact print function for BDDs

avoids explosion to DNF, but potentially still not optimal