@SuppressWarnings({"unchecked", "cast"})
public DivExpr clone() throws CloneNotSupportedException {
DivExpr node = (DivExpr) super.clone();
node.isConstant_visited = 0;
node.isConstant_computed = false;
node.isConstant_initialized = false;
node.in$Circle(false);
node.is$Final(false);
return node;
}
