fsm construction
stride for qc
qc using TransitionMatrix
qc using uniquequeue
bugfix, but still errors
conflict driven minimization