> 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. But there are cases where something > else is desired, so this is controlled by the user. Can SmPL script developers occasionally get any indications that they would expect an opposite system setting? Will the usage incidence become more interesting for the mentioned source code search parameter? Regards, Markus
