there are any problem below:
Example for Post-conditions checks could be:
Testing the validity of a pointer before returning to caller. or
Even the validity of returned results can be done by the "Called method" as part of Post-condition check.