+ @Override
+ public void visit(CHRStatement statement) {
+ for(int i=0;i<statement.body.length;++i)
+ statement.body[i] = statement.body[i].accept(this);
+ for(int i=0;i<statement.head.length;++i)
+ statement.head[i] = statement.head[i].accept(this);
+ }
+