Error in listing minterms fixed.
More debugging information.
Note changes.