addded lines and setf lines to cil to make it compatible with delta-debug
I always use lower case "a" for my "~a"

  No particular reason here, and I'm not even sure if it makes a
  difference, but similarity to existing code is a good enough reason.