Work-in-progress translation of Church unit tests.

Added 'last-attempted instruction number' to the ERP naming scheme, which allows us to have multiple ERPs on the same line (e.g. in the ternary operator).