Display #auto recovery predicate in QuickDoc