Add support for :pre/:post conditions in functions.
Merge pull request #45 from seancorfield/prepost

Add support for :pre/:post conditions in functions.