Revert smart scheduling from source-DPOR