Merge change 1347 into donut

* changes:
  Add a new program for checking the correctness of the computed stack from a trace.