@@ -18,6 +18,7 @@ class Assignable extends Declaration, @assignable {
   final AnnotatedType getAnnotatedType() { result.appliesTo(this) }
 
   /** Gets an access to this assignable. */
+  pragma[nomagic]
   AssignableAccess getAnAccess() { result.getTarget() = this }
 
   /** Gets an expression assigned to this assignable, if any. */
@@ -31,6 +32,7 @@ class Assignable extends Declaration, @assignable {
  * property (`Property`), an indexer (`Indexer`), or an event (`Event`).
  */
 class AssignableMember extends Member, Assignable, Attributable {
+  pragma[nomagic]
   override AssignableMemberAccess getAnAccess() { result = Assignable.super.getAnAccess() }
 
   override string toString() { result = Assignable.super.toString() }
 
@@ -238,6 +238,7 @@ class Modifiable extends Declaration, @modifiable {
 /** A declaration that is a member of a type. */
 class Member extends Modifiable, @member {
   /** Gets an access to this member. */
+  pragma[nomagic]
   MemberAccess getAnAccess() { result.getTarget() = this }
 
   /**
 
@@ -217,6 +217,7 @@ class Property extends DeclarationWithGetSetAccessors, @property {
     result = DeclarationWithGetSetAccessors.super.getAnUltimateImplementor()
   }
 
+  pragma[nomagic]
   override PropertyAccess getAnAccess() { result.getTarget() = this }
 
   override Location getALocation() { property_location(this.getUnboundDeclaration(), result) }
@@ -326,6 +327,7 @@ class Indexer extends DeclarationWithGetSetAccessors, Parameterizable, @indexer
     indexers(this, _, _, getTypeRef(result), _)
   }
 
+  pragma[nomagic]
   override IndexerAccess getAnAccess() { result.getTarget() = this }
 
   /**
 
@@ -16,6 +16,7 @@ private import TypeRef
 class Variable extends Assignable, @variable {
   override Variable getUnboundDeclaration() { result = this }
 
+  pragma[nomagic]
   override VariableAccess getAnAccess() { result.getTarget() = this }
 
   /** Gets the type of this variable. */
@@ -438,6 +439,7 @@ class Field extends Variable, AssignableMember, Attributable, TopLevelExprParent
 
   override Field getUnboundDeclaration() { fields(this, _, _, _, _, result) }
 
+  pragma[nomagic]
   override FieldAccess getAnAccess() { result = Variable.super.getAnAccess() }
 
   override ValueOrRefType getDeclaringType() { fields(this, _, _, result, _, _) }
Original file line number	Diff line number	Diff line change
`@@ -217,6 +217,7 @@ class Property extends DeclarationWithGetSetAccessors, @property {`
`217`	`217`	`result = DeclarationWithGetSetAccessors.super.getAnUltimateImplementor()`
`218`	`218`	`}`
`219`	`219`
	`220`	`+ pragma[nomagic]`
`220`	`221`	`override PropertyAccess getAnAccess() { result.getTarget() = this }`
`221`	`222`
`222`	`223`	`override Location getALocation() { property_location(this.getUnboundDeclaration(), result) }`
`@@ -326,6 +327,7 @@ class Indexer extends DeclarationWithGetSetAccessors, Parameterizable, @indexer`
`326`	`327`	`indexers(this, _, _, getTypeRef(result), _)`
`327`	`328`	`}`
`328`	`329`
	`330`	`+ pragma[nomagic]`
`329`	`331`	`override IndexerAccess getAnAccess() { result.getTarget() = this }`
`330`	`332`
`331`	`333`	`/**`