What do you think about a "linter" for code logic?