Add a way to get the decision trace from the simics prompt.