internal static BoolExpression CreateLiteral(
     BoolLiteral literal,
     MemberDomainMap memberDomainMap)
 {
     return(new BoolExpression(literal.GetDomainBoolExpression(memberDomainMap), memberDomainMap));
 }
 internal BoolExpression Create(BoolLiteral literal)
 {
     return(new BoolExpression(literal.GetDomainBoolExpression(this.m_memberDomainMap), this.m_memberDomainMap));
 }
        // effects: Creates a new boolean expression using the memberDomainMap of this expression
        internal BoolExpression Create(BoolLiteral literal)
        {
            var expr = literal.GetDomainBoolExpression(m_memberDomainMap);

            return(new BoolExpression(expr, m_memberDomainMap));
        }