bb_terminated: Use boundary values rather than specific opcodes