- event_last_user_time && launch_time &&
- event_time_after(event_last_user_time, launch_time) &&
- event_last_user_time != launch_time &&
+ event_last_user_time &&
+ (!launch_time ||
+ (event_time_after(event_last_user_time, launch_time) &&
+ event_last_user_time != launch_time)) &&