Prepared classfile transformation to install standard contracts. Fixed
unit tests.