added readme to spec generator
implemented the create_initial_state_testmethod