Coverage annotations.
Adds test superclass and lazy developer exception.