public static Z3BoolExpr And(this Z3BoolExpr expr1, Z3Context context, Z3BoolExpr expr2)
{
if (expr1 == null)
{
return(expr2);
}
else if (expr2 == null)
{
return(expr1);
}
else
{
return(context.MkAnd(expr1, expr2));
}
}