module Trace_postprocessing: `sig`

.. `end`

Trace postprocessing operations

## Natural conditions lifting

This post processing operation, translates low-level jump conditional
condition into more natural ones (<, >, >= ..)

val get_merge_stats : `unit -> int * Basic_types.Addr64.Set.t * int * Basic_types.Addr64.Set.t * int`

**Returns** stats of the merge of operations that took place during the
analysis execution. Values are:

- number of conditional jumps for which no natural predicate was found
- the set of address where no natural predicates where found
- number of conditional jumps where the test was neither "test" neither "cmp"
- the set of addresses where the test was not test/cmp
- number of conditional jumps replaced

val merge_natural_conditions : `Trace_type.trace_inst_map -> Trace_type.trace_inst_map`

apply the post processing computation replacing low-level
condition by higher-level conditions