Sasacore.GenOracle
val f : Topology.t -> string option -> 'v Process.t list -> string
generates oracle skeletons