fix some bugs (found by inspection) where LICM would not update