Add boolean simplifier