Merge V, X, and Y arguments into a single context in infer.