add general stop function for reachability
Use HREabort for soundness check
use special exit code for soundness check
general stop function for action detection. Fixes segfault in LACE.