abstract fun copy(quantifier: PathQuantifier = this.quantifier, inner: Formula = this.inner, direction: DirFormula = this.direction): This
Create a copy of the original object, but optionally replace some of the elements.