Fixed BoolExp to pass compilation