set flag gazelle_deepReplaceVars_debug.

svoid test_gazelle_deepReplaceVars() {
  testFunctionValues_twoArgs gazelle_deepReplaceVars(
    pair(litcimap("a b" := "c d"), "(a b) x"), "(c d) x"
  );
}