checkers.linear
Classes 
LinearAnnotatedTypeFactory
LinearChecker
LinearVisitor