Add the DPOR scheduler skeleton.
Was calling a wrong function.