Do you have to analyze the source program & know where every possible call to a yield is, and store all resulting suffixes of a function as new functions?