if you set the property of list/setx.list := newList(which has an inverse) like

entity example {
  x -> List<B> (inverse= B.ex)

}
entity B {
  ex-> example 
}

var one := example { x = [b1]}
var b1 := B{}
var b2 := B{}

script {
  one.x := [b1,b2]
}

will trigger to update one and b1 but also b2, which is not necessary.
It could be said that semantics are correct for this because it is a new list.
Still a note or a warning would be on his place.

However when using input(one.x), you are not expecting this behaviour.

Submitted by chris melman on 11 October 2012 at 21:18