Update documenation for loop lifting