Fixed BoolNotView not conforming to its interface.
add test
Merge branch 'JLiangWaterloo-fix-boolnotview' into develop