The MaterializeTrivialGoto pass, tries to remove superfluous `goto` from the `ScopeGraph`, by verifying that the resulting `ScopeGraph` does not become cyclic or undecided. In that case, it rolls back the changes.
Andrea Gussoni