let
add_goals basename goals p =
let
goal =
Fol
.
Goal
(basename,
W
.fol p)
in
goal::goals