Fix: Add more indicators to the substituted negations
Add a comment with a probable rule bug