Invoke the assumption-failed API when appropriate