Explain asymmetry in CFG aliasing detection in a comment.

Closes #3.