A*FU performance depends on the ability to fold the internal checks, which is possible when instances are in "static final". We need to make sure tests do that.