Is there any function to make CP branch on some variables first? Some of my variables are much more constrained than the rest, so I think this will be much faster if they are considered in CP first. Please correct me if I'm wrong. However, I don't have a value selection algorithm yet. So, what I want CP to do is not assign a value to a more constrained variable first. I just want it to branch on these variables first.