Improvements to the backward inference.
Work on DNARS case studies (ongoing).