Updated the STATICS checkpoint again