!7

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