Modified write_sut_api to allow fibonacci example