Added generated files to .gitignore.
Fixed the initial state specification inconsistency. Unspecified variables are now unbounded.