Multi-cut state variable insertions

## Related Problem
Currently, the state-variable insertion algorithm creates more variables than needed to solve the complete state encoding problem. In cases where a variable goes up and down multiple times through a cycle, the state variables should be able to do the same.

## Preferred Solution
Add support for multiple transition cycles in a single HSE cycle.