updating models in the realizability branch