@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; }