In MAGMA, if you are dealing with an element $x\in H$ for some group $H$, and you know that $H<G$ for some group $G$, is there an easy way to coerce $x$ into $G$ (e.g. if $H=\text{Alt}(n)$ and $G=\text{Alt}(n+k)$ for some $k\geq 1$)? The natural coercion method $G!x$ does not seem to work.