Replace abort () with ROACH_ABORT().
Fix the bug that doesn't execute the return probe correctly.