Improve cosmetic code
Add not to the logic solver