require ordered branch instruction parameters