corrected the functionality of a pattern
Merge pull request #12 from yazdani/master

Bugfix for the JOINT-STATE predicate