let funcExitData = DomSet.Value StmtSet.empty