let create_proof p =
  let n = WpPropId.subproofs p in
  {
    target = WpPropId.property_of_id p ;
    proved = Array.create n Noproof ;
    dependencies = Property.Set.empty ;
  }