Check the invariant for principal
inside the method
#55032
Merged
principal
inside the method
#55032