[DEFAULT]
unwanted-features =
  congruence-closure
  dogged
  persistent
  petgraph