added more explicit preference ordering to operations in cobweb (for ties).