Make performance of invariant checks more explicit in names