Bug fix: APassFor recursion lack
Added pattern matching in Rule_ and Rule
README updated
Merge branch 'dev'