Explain asymmetry in CFG aliasing detection in a comment.
Merge pull request #5 from hermannloose/fix-3

Explain asymmetry in CFG aliasing detection in a comment.

Closes #3.