Add test for simplifying function from Bool