Adds sequence parameter version of withObs and withInit and updates models.