Simplification of the tclCHECKINTERRUPT tactic.