Use the first REAL instruction's index to resolve variable names

When we cannot resolve a variable name (usually because it is a Phi), we
can use the first REAL instruction in the basic block to resolve the name
at that program point.

See #73.