- correct bug in CtcQuantif (the assert was wrong)
- Correct the feasibility test in OptimCtc