>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> ONE-STEP SEMI-SYMBOLIC CONTROL
thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: "Can't create the graph. At most 32 variables supported"', src/bin/experiment_old_one_step.rs:23:41
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
