- undo r22133
 - BugFix: follow always the reference mode side
 - BugFix: NEVER return may_alias in the middle of the disambiguator
 - if two modes have different arithmetic mode, the pointers to are different

[r22134]