Extend find valid state command with checkbox for using current constants values

The checkbox would state whether the command would re-use the constant values from the current state in the animator (if the machine's constants have been set-up) or not. The old command does not use the current constant values but solves invariant and properties together (which is sometimes exactly what you want; but sometimes not).
This has just been added to Tcl/Tk.
It is useful when finding constants takes a long time or when the user wants to fix the constants values but not the variables.
This task will require extending the prob2_interface find_state_for_predicate with a UseConstantsFromStateID option.
This option could also be useful for Jupyter.