#29. Implemented fix that arranges preconditions and postconditions.