removed undefined checking from linter
linted remaining inference rules, except for variable since derek is working on that