Implementing local-context compilation pass (again)