In the quickcheck a break of symmetry should be penalized (even if the assignment as a such is acceptable)
Log in to post a comment.