The verify(expr1, expr2, Global) calling sequence returns true if the difference between the arguments is zero after converting them to global.

This verification is symmetric.

y := proc() local x; x; end proc();

$y≔x$

$\mathrm{verify}\left(f\left(y\right)\,f\left(x\right)\right)$

$\mathrm{false}$

$\mathrm{verify}\left(f\left(y\right)\,f\left(x\right)\,\mathrm{Global}\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\mathrm{convert}\left(f\left(y\right)\,'\mathrm{`global`}'\right)\,\mathrm{convert}\left(f\left(x\right)\,'\mathrm{`global`}'\right)\right)$

$\mathrm{true}$