Method create

src/api/java/Expr.java:2164–2169

(Context ctx, FuncDecl<U> f, Expr<?> ... arguments)

    }

    static <U extends Sort> Expr<U> create(Context ctx, FuncDecl<U> f, Expr<?> ... arguments)
    {
        long obj = Native.mkApp(ctx.nCtx(), f.getNativeObject(),
                AST.arrayLength(arguments), AST.arrayToNative(arguments));
        return (Expr<U>) create(ctx, obj);
    }

    // TODO generify, but it conflicts with AST.create
    static Expr<?> create(Context ctx, long obj)