Precondition check fix of XA implementation