Implemented URM_State_get_initial_state
Refactored eg/plus.c