See https://gitlab.mpi-sws.org/iris/iris/blob/31bf88ff46fd89815e49dd22dbc5fea4a77fb62e/theories/heap_lang/lifting.v#L253