svoid test_arbitraryVarsFlexMatchIC_tok_iterator() {
  assertEqualsVerbose(ll(litcimap($b := "bla blubb")),
    asList(arbitraryVarsFlexMatchIC_tok_iterator(litset("$b"), Tok javaTok("a $b c"), Tok javaTok("a bla blubb c"))));
  assertEqualsVerbose(ll(litcimap($x := "a b", $y := "c d")),
    asList(arbitraryVarsFlexMatchIC_tok_iterator(litset("$x", "$y"), Tok javaTok("$x - $y"), Tok javaTok("a b - c d"))));
}