Add checking for the complexity guarantees in the standard