Event-B/Rodin does not support LET like ProB does, so we need to use some workarounds to provide similar functionality in Event-B mode.
