Draft: Turn sequential combinations in SV-COMP run config into parallel portfolio
The sequences contain configurations for '::if-recursive' and '::if-concurrent'. These configurations are still set in sequence after the parallel portfolio of all other techniques.