Add more assertions to core.clj