Clean up
KV: Print PrimImplikanten fixed, not working

Wenn PI über den Rand des KV-Diagramms hinausgehen, wird das noch nicht
erkannt. Da muss wohl doch noch etwas schlaueres her.
fix