sig val goal : Wpo.language -> Wpo.t -> string end