Fix BoolConstantView not throwing an exception when faced with a contradiction.
Merge pull request #128 from JLiangWaterloo/fix-zero-one-bools

Constants zero and one do not raise contradictions