Added unit tests for grammar and constraints.
Merge branch 'master' of https://github.com/nielssj/ITU-SMDP-Group11