Complete rewrite of graph structuring, now supports arbitrary exceptional flow