Ctd. debug tests for postconditions. #36