sig val generate_hypotheses : Collect.env -> unit end