Minor changes and indentation fix.

- Now print the minterms need to be covered
- Small printing changes