[GodelNumbering]

Cli too (you can't run tbench without cli as it runs in an isolated docker env) `npm install -g dirac-cli`