Cleanup: Don't specify the number of built-in assertions