Add support for post-conditions
Bump version to 0.0.4