Language.Clafer.Generator.Choco