Less strict concept check in checkPredicate
Merge pull request #27 from r0mai/master

Less strict concept check in checkPredicate