checkers.linear.quals
Annotation Types
Linear
Normal
Unusable