public static (BitVecExpr result, BoolExpr cf, BoolExpr of, BoolExpr af) Addition( BitVecExpr a, BitVecExpr b, Context ctx) { BitVecExpr result = ctx.MkBVAdd(a, b); BoolExpr cf = ToolsFlags.Create_CF_Add(a, b, a.SortSize, ctx); BoolExpr of = ToolsFlags.Create_OF_Add(a, b, a.SortSize, ctx); BoolExpr af = ToolsFlags.Create_AF_Add(a, b, ctx); return(result : result, cf : cf, of : of, af : af); }