CheckForAssertions adapted