public bool IsExposed(Set<IPTAnalysisNode> ns)
 {
     bool res = ns.IsSubset(exposedNodes);
     return res;
 }