boost::contract::get_postcondition_failure — Return failure handler currently set for postconditions.
This is often called only internally by this library.
Throws: This is declared
throw() before C++11).
Throw on Failure, Postconditions
A copy of the failure handler currently set.