let
add_aux_variable vi =
AuxVariables
.add vi