Added a coverage tool for karam.
Removed unused code.