InvertiblePredicate has been implemented
Changed 0 to 0.0
Merge pull request #136 from maseev/iss116

InvertiblePredicate has been implemented