method generator : ((string,string) env -> (string list)) = generator