See https://logtalk.org/tools.html#lint-checker Is this worth doing? We could include this in documentation or even bake it into the test runner.