{"push_id":841523560,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"b8b5adb0dfe3cdf09cb11d24e9cc570a591a1082","before":"89442375ab59056f99b555630f8f8f54aa7c3091","commits":[{"sha":"b8b5adb0dfe3cdf09cb11d24e9cc570a591a1082","author":{"email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de","name":"Matthias"},"message":"bugfix related to interpolant cannibalization","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/b8b5adb0dfe3cdf09cb11d24e9cc570a591a1082"}]}