(coq.theory
  (name multifile_mutation)
  (theories QuickChick))
