PS: Add a few more models after fixing MaD for Element content.

Author: MathiasVP

powershell/ql/lib/semmle/code/powershell/dataflow/internal/FlowSummaryImpl.qll

@@ -57,20 +57,20 @@ module Input implements InputSig<Location, DataFlowImplSpecific::PowershellDataF
   }
 
   string encodeContent(ContentSet cs, string arg) {
-    exists(Content c | cs = TSingletonContentSet(c) |
+    exists(Content c | cs.isSingleton(c) |
       c = TFieldContent(arg) and result = "Field"
       or
       exists(ConstantValue cv | c = TKnownKeyContent(cv) or c = TKnownPositionalContent(cv) |
         result = "Element" and
         arg = cv.serialize() + "!"
       )
-      or
-      (c = TUnknownPositionalContent() or c = TUnknownKeyContent()) and
-      result = "Element" and
-      arg = "?"
     )
     or
-    cs = TAnyElementContentSet() and result = "Element" and arg = "any"
+    cs.isAnyPositional() and result = "Element" and arg = "?"
+    or
+    cs.isUnknownKeyContent() and result = "Element" and arg = "#"
+    or
+    cs.isAnyElement() and result = "Element" and arg = "any"
     or
     exists(Content::KnownElementContent kec |
       cs = TKnownOrUnknownKeyContentSet(kec) or cs = TKnownOrUnknownPositionalContentSet(kec)

powershell/ql/lib/semmle/code/powershell/frameworks/MicrosoftPowershellUtility/model.yml

@@ -72,4 +72,6 @@ extensions:
       - ["microsoft.powershell.utility!", "Method[format-table]", "Argument[-inputobject,pipeline]", "ReturnValue", "taint"]
       - ["microsoft.powershell.utility!", "Method[format-wide]", "Argument[-inputobject,pipeline]", "ReturnValue", "taint"]
       - ["microsoft.powershell.utility!", "Method[get-unique]", "Argument[-inputobject,pipeline]", "ReturnValue", "taint"]
+      - ["microsoft.powershell.utility!", "Method[get-unique]", "Argument[-inputobject,pipeline].Element[?]", "ReturnValue.Element[?]", "value"]
       - ["microsoft.powershell.utility!", "Method[join-string]", "Argument[-inputobject,pipeline]", "ReturnValue", "taint"]
+      - ["microsoft.powershell.utility!", "Method[join-string]", "Argument[-inputobject,pipeline].Element[?]", "ReturnValue", "taint"]