Replace (should (not …)) with (should-not …)