Add a utility routine to check for unpredicated terminator instruction.