!7

p-exp {
  assertEqualsVerbose_struct(ll(litcimap("$name" := "Paul")),
    flexMatchDollarVarsIC_all("I am $name", "i am Paul"));
  assertEqualsVerbose_struct(ll(), flexMatchDollarVarsIC_all("$x is $x", "a is b"));
  assertEqualsVerbose_struct(ll(litcimap($x := "the guy")),
    flexMatchDollarVarsIC_all("$x is $x", "the guy is THE GUY"));
}