Bug 917585 - Relax conditions on optimized arguments in the presence of aliased formals. r=jandem