let system = {
  last = None ;
  environments = Imap.empty ;
  index = Kfmap.empty ;
  proofs = Hproof.create 131 ;
  results = Hpo.create 131 ;
}