avoid some symmetric puzzle configurations

Generate clauses that avoid puzzle configurations that are
indistinguishable by any hints from symmetric configurations. I had a
similar mechanism in an earlier version, but it was implemented
incorrectly and thus removed.