if Settings.MICRO_OPTS:
  assert '$phi' not in generated, 'we should optimize out self-phis'