Well, the problem comes up when it gives you proposals that are not equivalent, because it doesn't understand macros and/or local scope :)