Python: Prevent magic/inlining in getCase

This is a simplified version of
github#8028
consisting of just the `nomagic` fix.

Author: tausbn

python/ql/lib/semmle/python/Patterns.qll

@@ -10,6 +10,7 @@ class Pattern extends Pattern_, AstNode {
   override Scope getScope() { result = this.getCase().getScope() }
 
   /** Gets the case statement containing this pattern */
+  pragma[nomagic]
   Case getCase() { result.contains(this) }
 
   override string toString() { result = "Pattern" }