update preconditions