Added 'terminate' expr to the muRascal and TERMINATE instruction to the
RVM.