Resolving uncertainties during trace analysis | Synapse