sbool codeAnalysis_isSafeIdentifier(S id) {
  ret startsWith(id, "$"); // dangerous functions don't start with $
}