fixed TCO error involving boolean connectives