BDDFeatureExpr patch