public Variable(string/*!*/ name, SourceSpan location) : base(location) { Assert.NotNull(name); _name = name; }