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

This is in preparation for passing the expected-cset down along with all of these. I thought it would be cleaner to have 1 variable instead of 4.