lifting: Fix mavo lifting transformation bug

 * Added element were not asserted in the encoding