let iter_on_goals = Dynamic.register ~plugin:"Wp" "Wpo.iter_on_goals" (Datatype.func (Datatype.func PODatatype.ty Datatype.unit) Datatype.unit) ~journalize:true (fun on_goal -> iter ~on_goal ())