static bool nlLogic_allLHSEvalsSafe(IfThen rule) {
  for (S code : nlLogic_allLHSEvalFragments(rule))
    if (!isSafeCodeFragment(code)) false;
  true;
}