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)); } }