A3 LICM checkpointing (working on code motion candidates