Fixup is_dnf/is_cnf logic
s/mincov/mincover
Fix bug with PLE