Adds sequence parameter version of withObs and withInit and updates models.
Merge branch 'rhz' into sast
Adds missing imports to models.