Sub-solver might re-number variables internall

This is tricky, and must be taken into account
Removing unused parameter