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