Change semantic of ~ operator to ~Rule = Any* - Rule
Infinite loop in recovery fixed.