Actually this one modifies the precondition if it was null