let
as = { x = 123; y = 456; } // { z = 789; } // { z = 987; };
in
if as ? a then
as.a
else
assert as ? z;
as.z
