Translation of Event-B expressions in pragmas to B expressions (essentially replacing exponentiation). Added test case.