Fixed entailment of PropBoolChannel when elements in the set is negative or larger than the length of the boolean array.
Merge pull request #190 from JLiangWaterloo/fix-boolchannel-isentailed

Fixed entailment of PropBoolChannel when elements in the set is negative…

Thx JL