How do I disunify correctly? I posted details on SO: http://stackoverflow.com/questions/36509025/how-can-i-disunify-b-lvar-from-a-a-b-b-c-c-in-clojure-core-lo