Currently, program (un)folding works only using the `seq` operation. Would be great to also support `prg` here. This should include the auto-fold command.
Currently, program (un)folding works only using the
seqoperation. Would be great to also supportprghere. This should include the auto-fold command.