fmToCNFExpression :: FeatureModel a -> FeatureExpression
fmToCNFExpression fm =
    let fmExpressions = fmToPropositionalLogic fm
        in toCNFExpression (foldAnd fmExpressions)
fmToCNFExpression :: FeatureModel a -> FeatureExpression
fmToCNFExpression fm =
    let fmExpressions = fmToPropositionalLogic fm
        in toCNFExpression (foldAnd fmExpressions)
fmToCNFExpression fm =
    let fmExpressions = fmToPropositionalLogic fm
        in toCNFExpression (foldAnd fmExpressions)