(coq.theory
(package Why3Bench-pearl)
(name balance_vcg.balance)
(theories Why3))
