Deep copy: no possible sharing between x and copy x.
x
copy x
Is there some element satisfying the given predicate?
What is the possible range of values for this parameter.
Increment the integer.
Whether the Filepath is empty.
Does the given element belong to the set?
Set what is the possible range of values for this parameter.