private void InitNode(AST ast) { if (!NodeMapping.ContainsKey(ast)) { PathConstraints.Add(new HashSet <int>()); NodeMapping.Add(ast, PathConstraints.Count() - 1); } if (!ast.isRoot()) { PathConstraints.Last().UnionWith( ParentConstraints(ast) ); } }