// Shows various warnings about variables ?A[m->b] :- p(?X). ?_A[m->b] :- p(?).