Additional guards to avoid call blockInfoGet() on a WhileDo and DoWhile