(true-fix x) ignores its argument and unconditionally returns t.
Function: true-fix
(defun true-fix (x) (declare (xargs :guard t) (ignore x)) t)
