Update infer.lisp