- updated to new boogieamp version.
- adjusted code to deal with Implementation and ProcedureDeclaration.
- updated jar file.