Started debug tests for postconditions. #36