Choco-based Instance Generator for Clafer