another situation for HALT checking