Replace asserts with a more complicated example