Remove misleading comment from DISCH_ALL documentation

There will never be two or more alpha-convertible hypotheses. Pointed
out by Rob Arthan.