- Updated to the latest version of BoogieAmp
- now, ILocation is no longer used to refer to java locations (because
this didn't make sense). Instead, assertions are annotated with
attributes to refer the proper source location.