Updates in dependencies visitor of the model checker.