let funcExitData = DomSet.Value Stmt.Hptset.empty