Added some assertions.
Utils : build a string from a file.
Build a PropertyChronology from a string
Merge branch 'master' of github.com:codistmonk/burdenofproof