Update postconditions.