+ initial_state_liveness->snapshot_comparison_times = xbt_dynar_new(sizeof(double), NULL);
+ initial_state_liveness->chunks_used_comparison_times = xbt_dynar_new(sizeof(double), NULL);
+ initial_state_liveness->stacks_sizes_comparison_times = xbt_dynar_new(sizeof(double), NULL);
+ initial_state_liveness->program_data_segment_comparison_times = xbt_dynar_new(sizeof(double), NULL);
+ initial_state_liveness->libsimgrid_data_segment_comparison_times = xbt_dynar_new(sizeof(double), NULL);
+ initial_state_liveness->heap_comparison_times = xbt_dynar_new(sizeof(double), NULL);
+ initial_state_liveness->stacks_comparison_times = xbt_dynar_new(sizeof(double), NULL);