protected void upperPropagate(Node node) {
Node parentNode = (Node) node.getParentNode();
if (parentNode != null) {
PropagationRule parentRule = parentNode.getPropagationRule();
parentRule.summaryUpperPropagate(parentNode);
}
}
protected boolean isClear(StateItem item) {
long state = item.getState();