Rename Update to UpdateInfo and move to verifier-problems module
Change format of saved checing IDE result