renamed GenerateToyData arguments
Merge branch 'develop' of github.com:sieste/specs-verification-git into develop