Worked on rewriting available rules and rule validation for erasure and iteration