Use C json encoder
Add used_periods to JSON traceback