This is probably equivalent to what we did, as FoldStmt changes SEF statements to ';' statements, but it's simpler.