Insert contract monitor calls in BUL code

Uncategorized