force killing a statement relies on invoking code to check state