tracer_sees_terminaton_before_the_parent_raw
tracer_sees_terminaton_before_the_parent_raw(false, false, false);
tracer_sees_terminaton_before_the_parent_raw(true, false,
tracer_sees_terminaton_before_the_parent_raw(false, true, false);
tracer_sees_terminaton_before_the_parent_raw(false, true, true);