Add a variant of runSCT for IO Conc