Fixed a bug in BoolExp and passed all test cases in BoolMain