... by storing the children information in an additional watchdata
source bit, thus being able to prove the model wrong in case it
claims children are needed.