Implement missing case of constraintSolver

To check
Add a comment
Alpha renaming

Same as previous commits