caching of sat checks for BDDFeatureExpressions