If the user is trying to test a set of simplified logical expressions, one of them might turn out to be True or False. In any case, I guess there is not harm in taking care of special cases. I will make the changes in the next PR.