[IMP] models: make method onchange() compute the fixpoint of onchanges