checkers.linear.quals
Annotation Types 
Linear
Normal
Unusable