Conditional linting

I’ve added conditions so that the linter can use the returned value from the checker to determine whether to show an error.
Currently, condition includes eq, neq, gt, gte, lt, lte, and, or, and not.