Added more 4clojure problems and tested side-effects with preconditions