if (expected instanceof TreeSAware) {\r
TreeSAware sAware = (TreeSAware) expected;\r
TreeSElement element = ((TreeSElement) getElement()).createChild(\r
- "expected" + getChildren().size(), "<no desc>");\r
+ "expected" + getPropagationList().size(), "<no desc>");\r
sAware.setElement(element);\r
- addChild(sAware);\r
+ addToPropagationList(sAware);\r
}\r
super.onRegister(registry);\r
}\r