adding test cases for BoolExpr (work in progress)