ABL1 and chronic myelogenous leukemia, BCR-ABL1 positive: To investigate the in vivo efficacy of propofol alone and its combination with BCR-ABL TKI, we generated CML xenograft mouse model by subcutaneously injecting K562 cells into SCID mice flank.