Reset guard for symbolic threads