fmToTseitinEncode :: FeatureModel a -> FeatureExpression
fmToTseitinEncode fm =
    let fmExpressions = fmToPropositionalLogic fm
        in toTseitinEncode (foldAnd fmExpressions)
fmToTseitinEncode :: FeatureModel a -> FeatureExpression
fmToTseitinEncode fm =
    let fmExpressions = fmToPropositionalLogic fm
        in toTseitinEncode (foldAnd fmExpressions)
fmToTseitinEncode fm =
    let fmExpressions = fmToPropositionalLogic fm
        in toTseitinEncode (foldAnd fmExpressions)