Modify "def-precure" to "defprecure"
Modify "def-human" to "defhuman"