Refactor. Make idOf and nameOf methods of MicroVM.

Also updated testing class structures.