vscode datalog: "missing attribute" problems missing

[vilterp]

We should be seeing an error here, since bar has no attribute y:

foo{x: A} :-
  bar{y: A}.
bar{z: B} :-
  baz{boop: B}.

This seems not to be working… Defined here:

datalog-ts/languageWorkbench/languages/dl/dl.ts

Lines 499 to 513 in 245c9f5

	function* tcNonexistentAttr(db: NodesByRule): Generator<Problem> {
	for (const ruleID in db.get("rule").byID) {
	for (const attr of scopeVarAttr(db, ruleID)) {
	if (generatorIsEmpty(tcRuleAttr(db, attr.scopeID, attr.name))) {
	for (const ruleName of ruleIDToName(db, attr.scopeID)) {
	yield {
	desc: `nonexistent attr \`${attr.name}\` calling rule \`${ruleName}\``,
	span: attr.span,
	};
	}
	}
	}
	}
	}