Bytecode / conditional forecast: fix test over consistency of variable flipping

Function Interpreter::check_for_controlled_exo_validity() would give incorrect
results because the sconstrained_extended_path structure was containing 1-based
variable indices (it is expecting 0-based ones).

(cherry picked from commit 9d3c3917)