Nuking empty comment.
Add the beginnings of an implementation of procedures with multiple or no returns.  The present state doesn't actuall work, but on the other hand they don't break the old tests either so in that sense this is a conservative experiment.   Two tests are disabled. When those tests pass the new features work.