Using the standard BDD package (JDD) it was used all the time as default fallback; now the error message does not appear anymore
Method for counting operators in FeatureExpression when printed based on a BDD