withSourceLocator

Returns a copy that grounds this run's propositions in the given source.