SERG-Delft/jpacman-framework — pull request #18 by avandeursen (2014-04-09 16:50:08+00:00)
Title: Strengthened invariants.

Made assertions a bit more interesting for the exercise.