The reason for it is that in theory `conforms_to' should be frozen and the invariants should always hold anyway. As a result, this code is an optimization to not check ANY's invariant all the time.

I'll make sure that `conforms_to' becomes frozen in ELKS.