let
get_var_def_pos vd = !(vd.vd_pos)