Almost precisely the opposite--you'd perform static analysis to find
the most efficient way to get the full data set you want out of a
given function (e.g. tracing a value as it moves from register to
stack to register untouched and only collecting it via
instrumentation once), and then adjust your instrumentation requests
accordingly. So if you want to determine how to flip all path
conditions, you'd start with control and data flow analysis that
tells you as precisely as possible what the path conditions are, and
then find a minimal set of points that let you probe those path
conditions and find how to alter them.