- Finally choose transitive co in prettycat.cat and non-transitive
  in sccat.cat