Added functionality to Const Coverage algortihm.

Also made the Validator a bit less clever just to make debugging
possible.