Added generated files to .gitignore.
Fixed the initial state specification inconsistency. Unspecified variables are now unbounded.
Merge pull request #1 from fniksic/master

The initial state inconsistency