Fix pre and post condition handling.
Do not output nil in fn overloads without precond.
Add tests for function conditions.
Merge pull request #11 from JacekLach/fix-pre-post-conditions

Function pre/post conditions do not work