An example system to show the translation of MML contracts into bpl