let funcExitData = DomSet.Value Stmt.Set.empty