// e.g. "Did$HappenBefore$" => "Did * Happen Before *"
sS dollarsToStarsAndSplitCamelCase(S s) {
  ret join(tok_splitCamelCaseWithSpaces(javaTok(dollarsToStars(s))));
}