Biabduction.DotBiabduction
val emit_specs_to_file : IBase.DB.filename -> Prop.normal BiabductionSummary.spec list -> unit
emit specs in the "dot" format to the specified file