Merge "update the used precondition var name for IR"