let
quantify_at_vars _ _ _ =
assert
false