Use isTerminator() instead of isBranch()||isReturn() in