public InstanceVariable(string/*!*/ name, SourceSpan location) : base(name, location) { Debug.Assert(name.StartsWith("@")); }