Removed deprecated method is_covered (was replaced by evaluate_coverage).