Add mapping from IR to physical line numbers

See #3.