Restart after patching abstraction + test