CheckAssertions adapted