Postcondition method changed in handle_up_evento@APP_2048