> The default is exists for use with * and forall with transformation, with > the reasoning for the latter being that when transformation occurs the > trasformed code should be consistent. Will corresponding development concerns be reconsidered in more detail? Would you understand the source code search parameter “forall” in the way that it expresses a stronger data processing requirement (than the setting alternative “exists”)? https://en.wikipedia.org/wiki/Universal_quantification Is it known if such a quantification difference would influence software run time characteristics in significant ways? Regards, Markus
