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