Fixing some issues with restart strategies (Ignore mode still partially broken)
Ignore restart working for single quantifier.