TableGen: strengthen assert