Moved precondition evaluation into its own function.
Postconditions in their own function.